Skip to content
Docker CI

Equivalence with usual stability #136

Sign in to view logs

Equivalence with usual stability

Equivalence with usual stability #136

Triggered via pull request February 14, 2025 20:15
@pi8027pi8027
synchronize #20
usual_stable
Status Failure
Total duration 14m 29s
Artifacts –

docker-action.yml

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

Annotations

3 warnings
build (mathcomp/mathcomp:2.1.0-coq-8.18): misc/topdown_tailrec.v#L69
Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.
build (mathcomp/mathcomp:2.0.0-coq-8.18): misc/topdown_tailrec.v#L69
Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.
build (mathcomp/mathcomp:2.2.0-coq-8.18): misc/topdown_tailrec.v#L69
Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.