Drew Hess ba18e9a032 Dial down the number of nix-build jobs in the CI test. ... Otherwise, we get this error on GitHub Action runners: error: all build users are currently in use; consider creating additional users and adding them to the 'nixbld' group		2020-10-13 13:09:57 +01:00
..
Main.purs	init	2019-06-15 15:18:20 +02:00
tests.bash	Dial down the number of nix-build jobs in the CI test.	2020-10-13 13:09:57 +01:00