Bump cachix/install-nix-action from 22 to 23 #60
Triggered via pull request
September 4, 2023 16:59
dependabot[bot]
Status
Failure
Total duration
1h 11m 16s
Artifacts
–
Annotations
1 error
|
coq
Process completed with exit code 1.
|