Merge branch 'main' into isofibrations

emilyriehl · Nov 9, 2024 · 8bd6767 · 8bd6767
2 parents 65a99eb + fb2512e
commit 8bd6767
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/create-release.yml b/.github/workflows/create-release.yml
@@ -8,7 +8,7 @@ on:
       - 'lean-toolchain'
 
 jobs:
-  create-release:
+  create_release:
     runs-on: ubuntu-latest
 
     steps: