CI test #10
Triggered via pull request
October 14, 2024 15:47
4ever2
Status
Failure
Total duration
1h 27m 45s
Artifacts
–
nix-action-coq-8.19.yml
on: pull_request
Annotations
1 error
|
library-undecidability
Process completed with exit code 1.
|