Skip to content

Commit

Permalink
activate smoke tests in mvn verify
Browse files Browse the repository at this point in the history
  • Loading branch information
@jberthold
jberthold committed Jan 31, 2024
1 parent eab6997 commit 7135092
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion k-distribution/Makefile
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
SUBDIRS=tests/regression-new tests/builtins/collections
SUBDIRS=tests/regression-new tests/builtins/collections tests/smoke

include include/kframework/ktest-group.mak

0 comments on commit 7135092

Please sign in to comment.