chore: bug in nightly_detect_failure.yml (#1120)

leanprover-community · Feb 6, 2025 · 95509b2 · 95509b2
1 parent 577d491
commit 95509b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/nightly_detect_failure.yml b/.github/workflows/nightly_detect_failure.yml
@@ -52,9 +52,9 @@ jobs:
               echo "Creating tag nightly-testing-$version from the current state of the nightly-testing branch."
               git tag nightly-testing-$version
               git push origin nightly-testing-$version
+          fi
           hash="$(git rev-parse "nightly-testing-${version}")"
           printf 'SHA=%s\n' "${hash}" >> "${GITHUB_ENV}"
-          fi
         else
           echo "Error: The file lean-toolchain does not contain the expected pattern."
           exit 1