Merge pull request #7 from a16z/fix/run-ci-on-push

Run ci on push/PR
a16z · Aug 1, 2023 · 8742d6b · 8742d6b
2 parents 5cc3cb8 + e17615d
commit 8742d6b
Showing 1 changed file with 12 additions and 3 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -1,6 +1,10 @@
 name: test
 
-on: workflow_dispatch
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
 
 env:
   FOUNDRY_PROFILE: ci
@@ -37,9 +41,14 @@ jobs:
         uses: actions/setup-python@v4
         with:
           python-version: "3.11"
+
+      - name: Install dependencies
+        run: pip install argparse eth_abi halmos
 
-      - name: Install Halmos
-        run: pip install halmos
+      - name: Run Python reference tests
+        run: |
+          forge test -vvv --ffi --match-test testRef
+        id: test-ref
 
       - name: Run Halmos
         run: halmos --function testProve --loop 256 --error-unknown --test-parallel --solver-parallel --solver-timeout-assertion 0