test: Parallel testing infrastructure #58

Merged

aniva merged 3 commits from misc/testing into dev

2024-04-06 14:16:46 -07:00

Author	SHA1	Message	Date
Leni Aniva	d44693e548	doc: Documentation for `nix flake check`	2024-04-06 14:15:58 -07:00
Leni Aniva	fd47711e1f	test: Move parallelism to Test/Main.lean	2024-04-06 14:14:30 -07:00
Leni Aniva	4cbfc45292	test: Parallel testing infrastructure	2024-04-06 14:07:13 -07:00