oops, actually rename the gha ci config file

urbanopt · Jun 30, 2023 · 074212f · 074212f
1 parent ba1aeb5
commit 074212f
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml → .github/workflows/nightly_ci_build.yml b/.github/workflows/ci.yml → .github/workflows/nightly_ci_build.yml