paco 4.2.1 #417
nix-action-8.19.yml
on: pull_request_target
coq
36s
HoTT
38s
InfSeqExt
38s
LibHyps
34s
aac-tactics
40s
bbv
36s
coinduction
38s
coq-lsp
35s
coq-record-update
34s
coq-shell
35s
coqide
40s
dpdgraph
38s
high-school-geometry
35s
itauto
35s
rewriter
34s
serapi
38s
smtcoq
36s
vscoq-language-server
41s
zorns-lemma
38s
mathcomp-tarjan
34s
ElmExtraction
2m 18s
graph-theory
37s
ssprove
9m 57s
mathcomp-infotheo
6m 24s
coqeal
3m 12s
mathcomp
35s
Annotations
1 error
ITree
Process completed with exit code 1.
|