Testing nixpkgs#350287 #381
Triggered via pull request
October 21, 2024 17:04
CohenCyril
opened
#276
Status
Failure
Total duration
24m 6s
Artifacts
–
nix-action-8.16-mathcomp2.yml
on: pull_request_target
coq
39s
HoTT
35s
bbv
35s
coq-record-update
34s
coq-shell
37s
coqide
35s
dpdgraph
33s
high-school-geometry
38s
itauto
38s
metalib
34s
semantics
37s
smtcoq
3m 45s
tlc
36s
gappalib
55s
trakt
39s
coq-hammer
54s
coq-lsp
52s
topology
35s
corn
52s
vcfloat
1m 6s
goedel
49s
iris-named-props
34s
VST
35s
mathcomp-tarjan
45s
interval
41s
metacoq
35s
mathcomp-word
39s
addition-chains
41s
gaia
35s
http
41s
graph-theory
35s
mathcomp-algebra-tactics
35s
coqeal
41s
mathcomp
35s
Annotations
1 error
smtcoq
Process completed with exit code 1.
|