MathComp 1.17 -> 1.18 #204
Triggered via pull request
November 2, 2023 13:22
proux01
Status
Failure
Total duration
1h 16m 5s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-8.17.yml
on: pull_request
coq
30s
HoTT
32s
LibHyps
26s
coq-record-update
25s
coq-shell
38s
coqide
33s
dpdgraph
31s
itauto
35s
metalib
34s
pocklington
32s
semantics
27s
gappalib
30s
trakt
39s
category-theory
33s
coq-lsp
34s
iris
33s
parsec
25s
relation-algebra
27s
topology
27s
graph-theory
21m 54s
mathcomp-algebra-tactics
40s
Annotations
1 error
|
mathcomp-analysis
Process completed with exit code 1.
|