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