Fixes test-z3 workflow name

formalsec · Jun 11, 2024 · d89904a · d89904a
1 parent 1ad4c1b
commit d89904a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-z3.yml b/.github/workflows/test-z3.yml
@@ -9,7 +9,7 @@ on:
       - main
 
 jobs:
-  test-bitwuzla:
+  test-z3:
     runs-on: ubuntu-latest
     env:
       OPAMCONFIRMLEVEL: unsafe-yes