Skip to content
Docker CI

add meta.yml and generate boilerplate from templates #4

Sign in to view logs

add meta.yml and generate boilerplate from templates

add meta.yml and generate boilerplate from templates #4

Triggered via pull request July 24, 2024 14:33
@tchajedtchajed
synchronize #32
meta-ci
Status Success
Total duration 2m 2s
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