separate target for github CI

wilcoxjay · Apr 9, 2024 · 1e80f5e · 1e80f5e
1 parent d5d4c92
commit 1e80f5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -29,4 +29,4 @@ jobs:
           echo PYTHONPATH=`pwd`/z3-${Z3_VERSION}-x64-glibc-2.31/bin/python >> $GITHUB_ENV
       - run: z3 --version  # make sure z3 is installed
       - run: python3 -c 'import z3'  # make sure z3 can be imported from python
-      - run: make test
+      - run: make gh-test