Testing mathcomp 2.3.0 #585
Triggered via pull request
November 28, 2024 17:41
CohenCyril
CohenCyril
opened
#292
Status
Failure
Total duration
53m 34s
Artifacts
–
nix-action-8.18.yml
on: pull_request_target
coq
36s
HoTT
35s
LibHyps
38s
Ordinal
38s
bbv
33s
coq-lsp
35s
coq-record-update
35s
coq-shell
35s
coqide
37s
coqutil
35s
dpdgraph
34s
high-school-geometry
34s
itauto
2m 7s
metalib
35s
pocklington
33s
rewriter
34s
semantics
33s
serapi
34s
smtcoq
34s
vscoq-language-server
37s
waterproof
33s
relation-algebra
2m 2s
Verdi
1m 37s
mathcomp-tarjan
1m 32s
interval
2m 27s
mathcomp-word
1m 22s
addition-chains
1m 53s
gaia
35s
http
1m 47s
graph-theory
34s
mathcomp-experimental-reals
32s
coqeal
0s
mathcomp
1m 15s
ssprove
0s
mathcomp-infotheo
34s
mathcomp-analysis-stdlib
34s
Annotations
3 errors
|
deriving
Process completed with exit code 1.
|
|
multinomials
Process completed with exit code 1.
|
|
mathcomp-real-closed
Process completed with exit code 1.
|