Test MathComp 2.1.0 #277
proux01
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
nix-action-8.16.yml
on: pull_request_target
coq
49s
HoTT
4m 13s
coq-record-update
1m 12s
coq-shell
1m 12s
coqide
1m 34s
dpdgraph
1m 32s
itauto
3m 56s
metalib
1m 31s
semantics
1m 27s
tlc
1m 49s
category-theory
32m 31s
gappalib
1m 36s
trakt
1m 20s
coq-lsp
1m 28s
iris
10m 57s
parsec
1m 25s
relation-algebra
3m 23s
topology
1m 50s
mathcomp-tarjan
1m 48s
extructures
1m 52s
corn
11m 47s
QuickChick
1m 55s
Verdi
2m 53s
goedel
1m 42s
VST
32m 43s
mathcomp-word
1m 48s
coq-bits
1m 30s
addition-chains
2m 50s
vcfloat
2m 21s
graph-theory
3m 30s
gaia-hydras
1m 36s
metacoq
1m 41s
mathcomp-apery
6m 31s