fix action

UQ-PAC · Aug 7, 2023 · eae7574 · eae7574
1 parent 4c27388
commit eae7574
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/.github/workflows/run-examples.yml b/.github/workflows/run-examples.yml
@@ -14,5 +14,13 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v3
 
-      - name: Test Run
+      - name: Test Lift Aslp
         run: ./liftasli.sh examples/arrays/arrays.c /test.adt /test.relf
+
+      - name: Test Lift 
+        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
+
+