Skip to content
Docker CI

Fix the syntax explaining the warning attribute #20

Sign in to view logs

Fix the syntax explaining the warning attribute

Fix the syntax explaining the warning attribute #20

Triggered via pull request August 13, 2024 13:47
@tchajedtchajed
opened #38
fix-warning-attribute
Status Success
Total duration 3m 19s
Artifacts –

docker-action.yml

on: pull_request
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