Skip to content
Docker CI

Coq 8.20, rm infra.v, minor fixes #154

Sign in to view logs

Coq 8.20, rm infra.v, minor fixes

Coq 8.20, rm infra.v, minor fixes #154

Triggered via pull request February 21, 2025 12:12
@affeldt-aistaffeldt-aist
synchronize #38
fix_20250219
Status Failure
Total duration 31m 10s
Artifacts –

docker-action.yml

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

Annotations

20 warnings
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/preliminaries.v#L53
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/preliminaries.v#L53
Reference addn_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/preliminaries.v#L53
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/preliminaries.v#L53
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/preliminaries.v#L53
Reference addn_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/preliminaries.v#L53
Reference addn_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/preliminaries.v#L80
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/preliminaries.v#L80
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/preliminaries.v#L80
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): theories/preliminaries.v#L81
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/preliminaries.v#L53
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/preliminaries.v#L53
Reference addn_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/preliminaries.v#L53
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/preliminaries.v#L53
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/preliminaries.v#L53
Reference addn_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/preliminaries.v#L53
Reference addn_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/preliminaries.v#L80
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/preliminaries.v#L80
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/preliminaries.v#L80
Reference muln_rec is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): theories/preliminaries.v#L81
Reference muln_rec is deprecated since mathcomp 2.3.0.