Docker CI

Equivalence with usual stability #135

Sign in to view logs

Triggered via pull request February 14, 2025 12:20

pi8027

synchronize #20

usual_stable

Status Failure

Total duration 31m 34s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

Annotations

3 warnings

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.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.2.0-coq-8.18): misc/topdown_tailrec.v#L69

Notation sub is deprecated since mathcomp 2.0.0. Use Sub instead.