stdpp 1.11; iris 4.3 #661
Triggered via pull request
October 31, 2024 13:12
vbgl
Status
Success
Total duration
1h 35m 33s
Artifacts
–
nix-action-8.17.yml
on: pull_request
coq
35s
HoTT
33s
LibHyps
33s
bbv
37s
coq-lsp
39s
coq-record-update
38s
coq-shell
33s
coqide
40s
coqutil
34s
dpdgraph
38s
high-school-geometry
38s
itauto
2m 13s
metalib
35s
pocklington
34s
rewriter
6m 13s
semantics
34s
serapi
33s
smtcoq
38s
graph-theory
36s
mathcomp-altreals
1m 14s
coqeal
34s
mathcomp
35s
mathcomp-infotheo
7m 30s
mathcomp-analysis-stdlib
36s