fix action again

UQ-PAC · Aug 7, 2023 · 522299b · 522299b
1 parent 52a66be
commit 522299b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/run-examples.yml b/.github/workflows/run-examples.yml
@@ -21,6 +21,6 @@ jobs:
         run: ./lift.sh examples/arrays/arrays.c /test.adt /test.relf
 
       - name: Test run
-        run: ./run_c.sh examples/arrays/arrays/arrays.c test.bpl
+        run: ./run_c.sh examples/arrays/arrays.c test.bpl