Skip to content
Docker CI

Merge pull request #29 from pi8027/count_sort_args #133

Sign in to view logs

Merge pull request #29 from pi8027/count_sort_args

Merge pull request #29 from pi8027/count_sort_args #133

Triggered via push February 14, 2025 12:17
@pi8027pi8027
pushed a6d200c
master
Status Failure
Total duration 14m 38s
Artifacts –

docker-action.yml

on: push
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.