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