CI

[CI] Update Nix toolbox #1989

Sign in to view logs

Triggered via pull request December 16, 2024 10:51

proux01

opened #735

proux01:ci-update

Status Success

Total duration 5m 10s

Artifacts –

main.yml

on: pull_request

Matrix: docker

Annotations

16 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:8.20.0): examples/tutorial_coq_elpi_command.v#L610

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

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

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

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

This command does not support this attribute: unknown.

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

x is already taken, Elpi will make a name up

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)

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.

docker (coqorg/coq:dev)

Loading Stdlib without prefix is deprecated.

docker (coqorg/coq:dev)

Coq.Init.Logic.eq has been replaced by Corelib.Init.Logic.eq.

docker (coqorg/coq:dev)

Coq.Init.Logic.eq_refl has been replaced by

docker (coqorg/coq:dev)

Coq.Init.Logic.False has been replaced by Corelib.Init.Logic.False.