diff --git a/nix/kernel-tests.nix b/nix/kernel-tests.nix
index 6c2d9d51d616f558ddc727885393edc2698829e1..6cea52f1138fdaa00ec1c67f82643f96a6b77661 100644
--- a/nix/kernel-tests.nix
+++ b/nix/kernel-tests.nix
@@ -16,10 +16,7 @@ mk_tests {
       @tests/syntax/ptests \
       @src/kernel_internals/parsing/tests/ptests
     dune runtest -j1 --display short \
-      src/plugins/server/tests/batch \
-      tests/fc_script \
-      tests/misc \
-      tests/syntax
+      tests
     make -C share/machdeps check-schema
   '';
 }
diff --git a/nix/plugins-tests.nix b/nix/plugins-tests.nix
index b6a83abadd16fc420eb532347994f0e9646909e9..1979e3b424c5fd5023b659df7177557d6b36454d 100644
--- a/nix/plugins-tests.nix
+++ b/nix/plugins-tests.nix
@@ -27,6 +27,8 @@ mk_tests {
       @src/plugins/region/tests/ptests \
       @src/plugins/server/tests/ptests \
       @src/plugins/variadic/tests/ptests
+    dune runtest -j1 --display short \
+      src/plugins/server
   '';
   has-wp-proofs = true ;
 }
diff --git a/share/Makefile.testing b/share/Makefile.testing
index ccad28326809f2b94ebcb77cef3aae04cbb0e327..414ea0ba8b67b9420a2898237230d9e07d46df5b 100644
--- a/share/Makefile.testing
+++ b/share/Makefile.testing
@@ -218,6 +218,7 @@ endif # PTEST_USE_WP_CACHE
 .PHONY: default-tests
 default-tests: run-ptests
 	dune build @ptests_config
+	dune runtest tests
 	$(MAKE) count-tests
 
 .PHONY: count-tests