Erik Arvstedt 9a67a32779 fix build-to-cachix ... - Don't fail on `kill $cachixPid` when cachix has already exited. This fixes some failing CI builds. - Stop the cachix background worker before the final `cachix push`. This can avoid unneeded reuploads. Use the coreutils version of tail on cirrus which supports argument --pid.		2021-01-30 11:38:47 +01:00
..
build-to-cachix.sh	fix build-to-cachix	2021-01-30 11:38:47 +01:00
build.sh	ci: use run-tests.sh	2020-12-11 13:27:06 +01:00