Docker CI

Change the order of arguments of `count_sort` to align with MathComp #131

Sign in to view logs

Re-run triggered February 13, 2025 18:01

pi8027

#29

count_sort_args

Status Failure

Total duration 6m 30s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

Annotations

3 warnings

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.

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.