separate target for github CI

Makefile

@@ -12,7 +12,9 @@ MYPYVY_OPTS := --seed=0 --log=info --timeout 2000 --print-cmdline
 
 SRC_FILES := $(shell find src -name '*.py' -not -name '*parsetab*' -not -path '*/ply/*')
 
-test: check check-imports unit typecheck verify trace updr pd-old pd sep
+test: check check-imports unit typecheck verify verify.cvc4 trace updr pd-old pd sep
+
+gh-test: check check-imports unit typecheck verify trace updr pd-old sep
 
 style:
 	$(PYTHON) -m flake8 $(SRC_FILES) || true
@@ -206,4 +208,4 @@ clean:
 	rm -fv examples/*.out examples/*/*.out
 	rm -fr .mypy_cache/
 
-.PHONY: style check run test verify verify-pd updr bench typecheck trace pd pd-old pd-long unit check-imports clear-cache nightly clean prelude
+.PHONY: style check run test verify verify-pd updr bench typecheck trace pd pd-old pd-long unit check-imports clear-cache nightly clean prelude gh-test