update README · Deducteam/coq-hol-light-real-with-N@f298390

Triggered via push January 20, 2025 13:36

fblanqui

main

Status Success

Total duration 2m 59s

Artifacts –

docker-action.yml

on: push

Matrix: build

13 warnings

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

build (coqorg/coq:dev): mappings.v#L66

"From Coq" has been replaced by "From Stdlib".

build (coqorg/coq:dev): mappings.v#L78

Loading Stdlib without prefix is deprecated.

build (coqorg/coq:dev): mappings.v#L87

Loading Stdlib without prefix is deprecated.

build (coqorg/coq:dev): mappings.v#L192

Loading Stdlib without prefix is deprecated.

build (coqorg/coq:dev): mappings.v#L625

Loading Stdlib without prefix is deprecated.

build (coqorg/coq:dev): mappings.v#L625

Loading Stdlib without prefix is deprecated.

build (coqorg/coq:dev): mappings.v#L1700

Loading Stdlib without prefix is deprecated.

build (coqorg/coq:dev): mappings.v#L1708

Loading Stdlib without prefix is deprecated.

build (coqorg/coq:dev): mappings.v#L2055

"From Coq" has been replaced by "From Stdlib".

build (coqorg/coq:dev): mappings.v#L2290

Loading Stdlib without prefix is deprecated.

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

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