ExtLib 0.12.2 (rename from coq-ext-lib) #671
Triggered via pull request
November 6, 2024 12:16
vbgl
Status
Success
Total duration
2h 0m 57s
Artifacts
–
nix-action-8.17.yml
on: pull_request
coq
39s
HoTT
33s
LibHyps
32s
bbv
38s
coq-lsp
35s
coq-record-update
33s
coq-shell
33s
coqide
36s
coqutil
34s
dpdgraph
38s
high-school-geometry
34s
itauto
33s
metalib
34s
pocklington
38s
rewriter
33s
semantics
32s
serapi
38s
smtcoq
36s
graph-theory
38s
mathcomp-experimental-reals
1m 14s
coqeal
36s
mathcomp
35s
mathcomp-infotheo
33s
mathcomp-analysis-stdlib
36s