Undo more changes that slipped in from somewhere? a merge maybe?

2026-04-27 12:40:28 +00:00 · 2025-11-29 15:28:34 -08:00
parent ade6379345
commit e223087578
2 changed files with 1 additions and 21 deletions
--- a/tests/functional/run-test.sh
+++ b/tests/functional/run-test.sh
@@ -1,2 +1,2 @@
 #!/usr/bin/env bash
-pytest -v -n auto "$@" --steps 100
+pytest -v -m "not smt and not rkt" "$@"