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