try to get action to run

plast-lab · Aug 30, 2024 · f5d045b · f5d045b
1 parent b0f34b7
commit f5d045b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
@@ -7,7 +7,7 @@ on:
     branches: [ "master" ]
 
 jobs:
-  build-and-test(32bit):
+  build-and-test-32bit-word:
     # Souffle with a 32bit word size is built inside our "Gigahorse dependencies" docker image
     runs-on: ubuntu-22.04
 
@@ -29,7 +29,7 @@ jobs:
     - name: Run smt-testing.dl
       run: souffle smt-testing.dl
 
-  build-and-test(64bit):
+  build-and-test-64bit-word:
     # Souffle with a 64bit word size is installed on the runner via the provided .deb files
     runs-on: ubuntu-22.04