Change the order of arguments of count_sort to align with MathComp
#132
Triggered via pull request
February 13, 2025 18:07
pi8027
Status
Failure
Total duration
14m 54s
Artifacts
–
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.
|