Testing nixpkgs#350287 #428
Triggered via pull request
October 21, 2024 17:04
CohenCyril
opened
#276
Status
Failure
Total duration
30m 11s
Artifacts
–
nix-action-8.19.yml
on: pull_request_target
coq
35s
HoTT
34s
InfSeqExt
35s
LibHyps
34s
aac-tactics
35s
bbv
35s
coinduction
35s
coq-lsp
39s
coq-record-update
36s
coq-shell
38s
coqide
35s
coqutil
36s
dpdgraph
36s
high-school-geometry
36s
itauto
38s
rewriter
38s
serapi
39s
smtcoq
3m 50s
vscoq-language-server
1m 22s
zorns-lemma
34s
mathcomp-tarjan
53s
graph-theory
34s
ssprove
42s
mathcomp-infotheo
6m 52s
coqeal
38s
mathcomp
39s
Annotations
1 error
smtcoq
Process completed with exit code 1.
|