Add reference tests to test.yml

a16z · Aug 1, 2023 · 8e974a0 · 8e974a0
1 parent 5cc3cb8
commit 8e974a0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -37,6 +37,11 @@ jobs:
         uses: actions/setup-python@v4
         with:
           python-version: "3.11"
+
+      - name: Run Python reference tests
+        run: |
+          forge test -vvv --ffi --match-test testRef
+        id: test-ref
 
       - name: Install Halmos
         run: pip install halmos