coqPackages.json: 0.1.3 -> 0.2.0 #623
nix-action-8.17.yml
on: pull_request_target
coq
35s
HoTT
39s
LibHyps
36s
bbv
35s
coq-lsp
35s
coq-record-update
35s
coq-shell
34s
coqide
1m 18s
dpdgraph
34s
high-school-geometry
39s
itauto
39s
metalib
40s
pocklington
35s
rewriter
36s
semantics
35s
serapi
36s
smtcoq
1m 45s
mathcomp-word
1m 32s
addition-chains
1m 57s
gaia
3m 58s
http
1m 39s
ElmExtraction
2m 22s
graph-theory
4m 44s