[derive] Add some missing universe constraints · LPCIC/coq-elpi@94d968e

Triggered via pull request January 24, 2025 09:47

proux01

opened #754

proux01:param2_coqeal

Status Failure

Total duration 6m 58s

Artifacts –

ci.yml

on: pull_request

Matrix: docker

16 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

docker (coqorg/coq:8.20): examples/tutorial_coq_elpi_command.v#L610

This command does not support these attributes: more, this.

docker (coqorg/coq:8.20): examples/tutorial_coq_elpi_command.v#L643

This command does not support these attributes: more, this.

docker (coqorg/coq:8.20): examples/tutorial_coq_elpi_command.v#L644

This command does not support this attribute: unknown.

docker (coqorg/coq:8.20): examples/tutorial_coq_elpi_tactic.v#L632

x is already taken, Elpi will make a name up

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Notation Zis_gcd_for_euclid is deprecated since 8.17.

Notation Zis_gcd_for_euclid is deprecated since 8.17.

Notation Zis_gcd_for_euclid is deprecated since 8.17.

Notation Zis_gcd_for_euclid is deprecated since 8.17.