coqPackages.HoTT: 8.19 -> 8.20 #393
Triggered via pull request
September 27, 2024 23:44
Alizter
Status
Success
Total duration
53m 21s
Artifacts
–
nix-action-8.19.yml
on: pull_request
coq
38s
HoTT
35s
InfSeqExt
36s
LibHyps
37s
aac-tactics
36s
bbv
33s
coinduction
33s
coq-record-update
31s
coq-shell
32s
coqide
37s
dpdgraph
33s
high-school-geometry
32s
itauto
34s
rewriter
33s
smtcoq
33s
vscoq-language-server
33s
zorns-lemma
36s
reglang
36s
mathcomp-tarjan
32s
graph-theory
33s