Skip to content
Docker CI

Docker CI #106

Sign in to view logs

Docker CI

Docker CI #106

Triggered via schedule February 10, 2026 08:40
@tchajedtchajed
⁠ c985bfb
main
Status Success
Total duration 2m 3s
Artifacts –

docker-action.yml

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

Annotations

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