stdpp 1.11; iris 4.3 #456
Triggered via pull request
October 31, 2024 13:12
vbgl
Status
Success
Total duration
1h 37m 17s
Artifacts
–
nix-action-8.19.yml
on: pull_request
coq
39s
HoTT
33s
InfSeqExt
35s
LibHyps
37s
bbv
38s
coinduction
32s
coq-lsp
32s
coq-record-update
32s
coq-shell
33s
coqide
36s
coqutil
1m 34s
dpdgraph
35s
high-school-geometry
35s
itauto
34s
rewriter
6m 9s
serapi
39s
smtcoq
35s
vscoq-language-server
36s
zorns-lemma
35s
relation-algebra
39s
mathcomp-tarjan
36s
graph-theory
4m 17s
mathcomp-altreals
38s
coqeal
34s
mathcomp
35s
ssprove
9m 34s
mathcomp-infotheo
6m 26s
mathcomp-analysis-stdlib
40s