From 23edbe8d49d39bb673ac4d257e375913c4facc3e Mon Sep 17 00:00:00 2001 From: "James R. Wilcox" Date: Mon, 8 Apr 2024 22:22:15 -0700 Subject: [PATCH] separate target for github CI --- Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 92ea5fe..6ab3e63 100755 --- a/Makefile +++ b/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