rename workflow

emilyriehl · Nov 9, 2024 · fb2512e · fb2512e
1 parent 3630bfb
commit fb2512e
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: