Skip to content
Docker CI

[README] Update readme #40

Sign in to view logs

[README] Update readme

[README] Update readme #40

Triggered via push October 20, 2023 07:18
@pPomCopPomCo
pushed a11c9e1
main
Status Failure
Total duration 2m 56s
Artifacts –

docker-action.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 15 warnings
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/ssrnum.v#L12
Cannot find a physical path bound to logical path matching suffix
build (mathcomp/mathcomp:1.15.0-coq-8.15)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (mathcomp/mathcomp:1.13.0-coq-8.15)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (mathcomp/mathcomp:1.14.0-coq-8.15)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (mathcomp/mathcomp:1.15.0-coq-8.14)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/fintype.v#L10
Notation "_ + _" was already used in scope nat_scope.
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/fintype.v#L10
Notation "_ - _" was already used in scope nat_scope.
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/fintype.v#L10
Notation "_ <= _" was already used in scope nat_scope.
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/fintype.v#L10
Notation "_ < _" was already used in scope nat_scope.
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/fintype.v#L10
Notation "_ >= _" was already used in scope nat_scope.
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/fintype.v#L10
Notation "_ > _" was already used in scope nat_scope.
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/fintype.v#L10
Notation "_ <= _ <= _" was already used in scope nat_scope.
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/fintype.v#L10
Notation "_ < _ <= _" was already used in scope nat_scope.
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/fintype.v#L10
Notation "_ <= _ < _" was already used in scope nat_scope.
build (mathcomp/mathcomp:1.15.0-coq-8.14): theories/lib/fintype.v#L10
Notation "_ < _ < _" was already used in scope nat_scope.
build (mathcomp/mathcomp:1.15.0-coq-8.16)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/