Skip to content
.github/workflows/ci.yml

CI: run on ubuntu 24.04 #121

Sign in to view logs

CI: run on ubuntu 24.04

CI: run on ubuntu 24.04 #121

Triggered via push November 6, 2025 05:20
@vbglvbgl
pushed 113c821
main
Status Success
Total duration 29m 36s
Artifacts –

ci.yml

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

Annotations

19 warnings
build (mathcomp/mathcomp:2.3.0-coq-8.20): src/word.v#L1050
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): src/word.v#L1049
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): src/word.v#L1048
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): src/word.v#L1007
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.20): src/word.v#L598
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.2.0-coq-8.20): src/word.v#L25
Notations "\pi ( _ )" defined at level 2 and "\pi"
build (mathcomp/mathcomp:2.2.0-coq-8.20): src/word.v#L25
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
build (mathcomp/mathcomp:2.2.0-coq-8.20): src/word_ssrZ.v#L25
Notations "\pi ( _ )" defined at level 2 and "\pi"
build (mathcomp/mathcomp:2.2.0-coq-8.20): src/word_ssrZ.v#L25
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
build (mathcomp/mathcomp:2.3.0-coq-8.19): src/word.v#L1050
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): src/word.v#L1049
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): src/word.v#L1048
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): src/word.v#L1007
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.19): src/word.v#L598
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.18): src/word.v#L1050
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.18): src/word.v#L1049
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.18): src/word.v#L1048
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.18): src/word.v#L1007
Notation nosimpl is deprecated since mathcomp 2.3.0.
build (mathcomp/mathcomp:2.3.0-coq-8.18): src/word.v#L598
Notation nosimpl is deprecated since mathcomp 2.3.0.