Erik Arvstedt c29d44b49a ci: use 'cachix watch-exec' ... Simplifies the build script. This feature appeared in a recent cachix update.		2021-02-07 22:45:37 +01:00
..
build-to-cachix.sh	ci: use 'cachix watch-exec'	2021-02-07 22:45:37 +01:00
build.sh	ci: use run-tests.sh	2020-12-11 13:27:06 +01:00