Test stdpp 1.9.0 and iris 4.1.0 #166
nix-action-8.17.yml
on: pull_request_target
coq
45s
HoTT
4m 1s
LibHyps
1m 28s
coq-record-update
1m 12s
coq-shell
1m 6s
coqide
1m 26s
dpdgraph
1m 9s
itauto
2m 46s
metalib
1m 17s
pocklington
1m 20s
semantics
1m 41s
trakt
1m 45s
category-theory
14m 49s
coq-lsp
1m 26s
iris
8m 54s
ITree
3m 41s
parsec
1m 17s
relation-algebra
2m 54s
topology
1m 44s
mathcomp-tarjan
1m 37s
extructures
1m 31s
interval
3m 18s
corn
12m 2s
QuickChick
2m 23s
Verdi
2m 41s
addition-chains
2m 12s
mathcomp-algebra-tactics
1m 29s