paco 4.2.1 #213
nix-action-8.20.yml
on: pull_request_target
coq
36s
HoTT
34s
InfSeqExt
39s
LibHyps
34s
aac-tactics
35s
atbr
35s
coq-record-update
38s
coq-shell
35s
coqide
37s
high-school-geometry
35s
itauto
35s
vscoq-language-server
41s
zorns-lemma
34s
gappalib
34s
compcert
39s
Cheerios
34s
ITree
2m 48s
serapi
35s
stalmarck-tactic
36s
QuickChick
40s
gaia
35s
ElmExtraction
37s
mathcomp-algebra-tactics
39s
mathcomp-analysis
39s
coqeal
34s
mathcomp
35s
Annotations
1 error
ITree
Process completed with exit code 1.
|