From d12c51e6e6225c3a4efaa358f01c711946964d7d Mon Sep 17 00:00:00 2001 From: Behdad Esfahbod Date: Tue, 15 Feb 2022 14:31:59 -0600 Subject: [PATCH] [ci] Rename configs-ci to configs-build Since it doesn't run any tests. --- .github/workflows/{configs-ci.yml => configs-build.yml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{configs-ci.yml => configs-build.yml} (100%) diff --git a/.github/workflows/configs-ci.yml b/.github/workflows/configs-build.yml similarity index 100% rename from .github/workflows/configs-ci.yml rename to .github/workflows/configs-build.yml