Add Rocq #728
proux01nix-action-8.18.yml
on: pull_request_target
coq
38s
HoTT
38s
LibHyps
37s
Ordinal
37s
coq-lsp
43s
coq-record-update
38s
coq-shell
37s
coq-tactical
38s
coqide
40s
coqutil
37s
dpdgraph
43s
high-school-geometry
42s
metalib
43s
pocklington
39s
semantics
39s
serapi
38s
vscoq-language-server
38s
bbv
1m 19s
itauto
2m 22s
rewriter
6m 14s
smtcoq
1m 41s
waterproof
1m 39s
topology
43s
gappalib
2m 12s
coq-hammer
1m 20s
relation-algebra
0s
Verdi
0s
mathcomp-tarjan
0s
interval
0s
graph-theory
0s
coqeal
0s
ssprove
0s
odd-order
0s
mathcomp-infotheo
0s
Annotations
14 errors
|
|
|
|
|
metacoq-common
The run was canceled by @proux01.
|
|
|
|
|
|
mathcomp-ssreflect
The run was canceled by @proux01.
|
|
|
|
gappalib
The operation was canceled.
|
|
|
|
iris
The operation was canceled.
|
|
|
|
CoLoR
The operation was canceled.
|
|
|
|
compcert
The operation was canceled.
|