Expand link to Coq Nix Toolbox archive. #170
nix-action-8.17.yml
on: push
coq
42s
HoTT
29s
LibHyps
30s
coq-record-update
28s
coq-shell
31s
coqide
31s
dpdgraph
25s
itauto
29s
metalib
26s
pocklington
37s
semantics
30s
trakt
37s
category-theory
28s
coq-lsp
27s
iris
25s
ITree
30s
parsec
27s
relation-algebra
30s
topology
24s
mathcomp-tarjan
30s
extructures
30s
interval
27s
corn
29s
QuickChick
34s
Verdi
25s
addition-chains
25s
mathcomp-algebra-tactics
26s