Add Rocq #649
proux01nix-action-8.19.yml
on: pull_request_target
coq
43s
HoTT
38s
LibHyps
39s
autosubst-ocaml
39s
coq-lsp
37s
coq-record-update
37s
coq-shell
37s
coq-tactical
42s
coqide
39s
coqutil
38s
dpdgraph
42s
high-school-geometry
44s
serapi
39s
vscoq-language-server
39s
zorns-lemma
42s
InfSeqExt
37s
bbv
1m 14s
coinduction
39s
itauto
2m 36s
rewriter
6m 20s
smtcoq
39s
mtac2
37s
relation-algebra
38s
mathcomp-tarjan
39s
graph-theory
42s
coqeal
39s
ssprove
10m 7s
odd-order
38s
mathcomp-infotheo
6m 51s