Test stdpp 1.9.0 and iris 4.1.0 #169
Triggered via pull request
October 13, 2023 11:24
vbgl
Status
Success
Total duration
5h 44m 33s
Artifacts
–
nix-action-8.17.yml
on: pull_request
coq
6m 39s
HoTT
4m 11s
LibHyps
53s
coq-record-update
55s
coq-shell
55s
coqide
2m 9s
dpdgraph
1m 18s
itauto
2m 35s
metalib
1m 4s
pocklington
1m 19s
semantics
1m 23s
trakt
1m 14s
category-theory
21m 3s
coq-lsp
2m 13s
iris
7m 49s
ITree
4m 29s
parsec
1m 2s
relation-algebra
2m 19s
topology
1m 10s
mathcomp-tarjan
1m 31s
extructures
1m 17s
interval
2m 35s
corn
11m 34s
QuickChick
1m 49s
Verdi
1m 48s
addition-chains
2m 1s
mathcomp-algebra-tactics
1m 18s