Skip to content

Merge pull request #42 from gares/done #45

Merge pull request #42 from gares/done

Merge pull request #42 from gares/done #45

Triggered via push July 17, 2024 09:21
Status Failure
Total duration 2m 58s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
build (mathcomp/mathcomp-dev:coq-dev)
The following actions uses Node.js version which is deprecated 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/
build (mathcomp/mathcomp-dev:coq-dev): core/options.v#L1
Syntax "Export Set" is deprecated, use the attribute syntax
build (mathcomp/mathcomp-dev:coq-dev): core/options.v#L2
Syntax "Export Set" is deprecated, use the attribute syntax
build (mathcomp/mathcomp-dev:coq-dev): core/options.v#L3
Syntax "Export Set" is deprecated, use the attribute syntax
build (mathcomp/mathcomp:1.17.0-coq-8.18)
The following actions uses Node.js version which is deprecated 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/
build (mathcomp/mathcomp:1.17.0-coq-8.18): core/options.v#L1
Syntax "Export Set" is deprecated, use the attribute syntax
build (mathcomp/mathcomp:1.17.0-coq-8.18): core/options.v#L2
Syntax "Export Set" is deprecated, use the attribute syntax
build (mathcomp/mathcomp:1.17.0-coq-8.18): core/options.v#L3
Syntax "Export Set" is deprecated, use the attribute syntax
build (mathcomp/mathcomp:1.15.0-coq-8.15)
The following actions uses Node.js version which is deprecated 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/