Adapt to https://github.com/coq/coq/pull/19530 · lukaszcz/coqhammer@8a46732

Triggered via pull request September 17, 2024 09:49

proux01

opened #185

proux01:stdlib_repo

Status Success

Total duration 3m 10s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

8 warnings

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

478E

Coq.NArith.BinNat.N.eqb_eq has been replaced by

Coq.NArith.BinNat.N.eqb_eq has been replaced by

Notation List.rev_length is deprecated since 8.20.

Notation List.app_length is deprecated since 8.20.

Notation List.seq_length is deprecated since 8.20.

Notation List.map_length is deprecated since 8.20.

Notation List.map_length is deprecated since 8.20.