interval: 4.10.0 → 4.11.0 (#247) #518
nix-action-8.17.yml
on: push
coq
37s
HoTT
35s
LibHyps
34s
coq-record-update
36s
coq-shell
34s
coqide
36s
dpdgraph
33s
high-school-geometry
34s
itauto
36s
metalib
34s
pocklington
36s
semantics
33s
smtcoq
38s
category-theory
41s
gappalib
37s
trakt
34s
coq-hammer
43s
coq-lsp
1m 20s
parsec
38s
relation-algebra
37s
topology
33s
extructures
35s
interval
2m 24s
corn
34s
vcfloat
36s
QuickChick
36s
Verdi
39s
iris-named-props
47s
VST
35s
graph-theory
33s
metacoq
36s