I'm seeing errors like this building Coq master:
/home/runner/work/_actions/cachix/cachix-action/v10/dist/main/push-paths.sh /home/runner/.nix-profile/bin/cachix coq-community
cachix: CppStdException "Exception: \ESC[31;1merror:\ESC[0m path '\ESC[35;1m/nix/store/jcycm61drds9xs46zb3bqf9sc1d1i9pk-coqdev-aac-tactics-dev\ESC[0m' is not valid; type: nix::InvalidPath"
Error: Action failed with error: Error: The process '/home/runner/work/_actions/cachix/cachix-action/v10/dist/main/push-paths.sh' failed with exit code 1
This is during post job cleanup, but causes the job to fail. Should I be worried or ignore?
I don't know what this means but I suggest reporting to https://github.com/cachix/cachix-action.
I still have this problem, and in the similar issue: https://github.com/cachix/cachix-action/issues/44
... it seems to be due to disk space issues?
I only had a brief look. The issue you mention talks about running the GC, but we don't do this, so this might be something else.
Last updated: Oct 13 2024 at 01:02 UTC