Skip to content
CI

Adapt to coq/coq#19985 (template poly has pseudo sort poly) #41

Sign in to view logs

Adapt to coq/coq#19985 (template poly has pseudo sort poly)

Adapt to coq/coq#19985 (template poly has pseudo sort poly) #41

Triggered via pull request January 23, 2025 14:19
@SkySkimmerSkySkimmer
synchronize #742
SkySkimmer:cominductive-lbound
Status Failure
Total duration 6m 46s
Artifacts –

ci.yml

on: pull_request
Matrix: docker
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
docker (coqorg/coq:8.20.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker (coqorg/coq:dev)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker (coqorg/coq:dev)
Notation Zis_gcd_for_euclid is deprecated since 8.17.
docker (coqorg/coq:dev)
Notation Zis_gcd_for_euclid is deprecated since 8.17.
docker (coqorg/coq:dev)
Notation Zis_gcd_for_euclid is deprecated since 8.17.
docker (coqorg/coq:dev)
Notation Zis_gcd_for_euclid is deprecated since 8.17.
docker (coqorg/coq:dev)
Loading Stdlib without prefix is deprecated.
docker (coqorg/coq:dev)
Loading Stdlib without prefix is deprecated.
docker (coqorg/coq:dev)
Loading Stdlib without prefix is deprecated.
docker (coqorg/coq:dev)
Loading Stdlib without prefix is deprecated.
docker (coqorg/coq:dev): apps/derive/theories/derive/eqb_core_defs.v#L1
Loading Stdlib without prefix is deprecated.
docker (coqorg/coq:dev): apps/derive/theories/derive/eqb_core_defs.v#L2
Loading Stdlib without prefix is deprecated.