Test math-classes & CoRN 8.18.0 #184
nix-action-8.17.yml
on: pull_request_target
coq
53s
HoTT
37s
LibHyps
27s
coq-record-update
35s
coq-shell
36s
coqide
30s
dpdgraph
39s
itauto
30s
metalib
27s
pocklington
39s
semantics
30s
gappalib
27s
trakt
33s
category-theory
33s
coq-lsp
2m 16s
iris
31s
ITree
27s
parsec
27s
relation-algebra
27s
topology
40s
mathcomp-tarjan
35s
extructures
2m 9s
corn
12m 2s
QuickChick
31s
Verdi
37s
addition-chains
31s
vcfloat
36s
mathcomp-algebra-tactics
27s