Skip to content

ensure all URLs have hyperlinks (#36) #14

ensure all URLs have hyperlinks (#36)

ensure all URLs have hyperlinks (#36) #14

Triggered via push July 26, 2024 22:24
Status Success
Total duration 2m 0s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build (coqorg/coq:dev): src/NotationModule.v#L31
Notations "_ [ _ := _ ]" defined at level 10 with arguments constr
build (coqorg/coq:dev): src/NotationModule.v#L35
Notations "_ [ _ := _ ]" defined at level 10 with arguments constr
build (coqorg/coq:dev): src/RewNotation.v#L4
Alternatives to Fin.t are available, see