Test MathComp 2.1.0 #187
proux01
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-8.17.yml
on: pull_request_target
coq
46s
HoTT
4m 3s
LibHyps
1m 26s
coq-record-update
1m 9s
coq-shell
1m 26s
coqide
1m 31s
dpdgraph
1m 20s
itauto
3m 24s
metalib
1m 25s
pocklington
1m 37s
semantics
1m 25s
gappalib
1m 32s
trakt
1m 34s
category-theory
14m 52s
coq-lsp
1m 48s
iris
8m 35s
ITree
3m 42s
parsec
1m 22s
relation-algebra
2m 37s
topology
1m 32s
mathcomp-tarjan
2m 5s
extructures
1m 58s
corn
11m 51s
QuickChick
2m 25s
Verdi
2m 20s
addition-chains
2m 14s
vcfloat
2m 16s
mathcomp-algebra-tactics
1m 51s