Skip to content

Commit

Permalink
Remove pd from gh-test
Browse files Browse the repository at this point in the history
  • Loading branch information
@wilcoxjay
wilcoxjay committed Apr 9, 2024
1 parent 41c1e36 commit 3a055df
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ PYV_FILES := $(sort $(wildcard examples/*.pyv))

test: check check-imports unit typecheck verify verify.cvc4 trace updr pd sep

gh-test: check check-imports unit typecheck verify trace updr sep pd
gh-test: check check-imports unit typecheck verify trace updr sep

style:
$(PYTHON) -m flake8 $(SRC_FILES) || true
Expand Down

0 comments on commit 3a055df

Please sign in to comment.