Merge branch 'master' into pr/162

fpvandoorn · Nov 9, 2024 · 7c9738c · 7c9738c
2 parents 92506e3 + 36d1706
commit 7c9738c
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: