Test stdpp 1.9.0 and iris 4.1.0 #167
Triggered via pull request
October 13, 2023 05:28
vbgl
Status
Success
Total duration
3h 55m 59s
Artifacts
–
nix-action-8.17.yml
on: pull_request
coq
34s
HoTT
4m 28s
LibHyps
1m 27s
coq-record-update
1m 25s
coq-shell
1m 5s
coqide
1m 30s
dpdgraph
1m 22s
itauto
2m 43s
metalib
1m 30s
pocklington
1m 15s
semantics
1m 25s
trakt
1m 18s
category-theory
15m 53s
coq-lsp
1m 43s
iris
9m 39s
ITree
3m 29s
parsec
1m 12s
relation-algebra
2m 34s
topology
1m 21s
mathcomp-tarjan
1m 36s
extructures
1m 32s
interval
2m 51s
corn
16m 30s
QuickChick
1m 55s
Verdi
1m 55s
addition-chains
2m 56s
mathcomp-algebra-tactics
1m 30s