Rename job

herbie-fp · Feb 2, 2024 · 760686f · 760686f
1 parent 5f8681d
commit 760686f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -6,7 +6,7 @@ on: [push]
 #    - 'v*'
 
 jobs:
-  job2:
+  build:
     name: Build
     strategy:
       matrix:     # manual matrix