Test enable override of ocamlPackages.elpi #874
proux01nix-action-8.16.yml
on: pull_request_target
coq
1m 7s
HoTT
37s
Ordinal
39s
coq-record-update
42s
coq-shell
42s
coq-tactical
38s
coqide
39s
dpdgraph
42s
high-school-geometry
37s
itauto
37s
metalib
38s
semantics
41s
coq-lsp
0s
topology
0s
category-theory
0s
gappalib
0s
trakt
0s
coq-hammer
0s
relation-algebra
0s
mathcomp-tarjan
0s
extructures
0s
interval
0s
goedel
0s
corn
0s
vcfloat
0s
Verdi
0s
iris-named-props
0s
VST
0s
mathcomp-experimental-reals
0s
mathcomp
0s
mathcomp-apery
0s
mathcomp-infotheo
0s
metacoq
0s
Annotations
19 errors and 18 warnings
|
|
|
|
|
aac-tactics
The run was canceled by @proux01.
|
|
|
|
|
|
StructTact
The run was canceled by @proux01.
|
|
|
|
|
|
|
|
coq-hammer-tactics
The run was canceled by @proux01.
|
|
|
|
|
|
mathcomp-ssreflect
The run was canceled by @proux01.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
coq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
coqide
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
coq-tactical
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
high-school-geometry
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
coq-record-update
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
coq-shell
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
dpdgraph
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
itauto
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
HoTT
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
metalib
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Ordinal
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
pocklington
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
paramcoq
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
stdlib
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
zorns-lemma
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
LibHyps
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
semantics
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
serapi
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|