Skip to content
lint

CI: move #2

Sign in to view logs

CI: move

CI: move #2

Triggered via push November 20, 2024 16:11
@hhugohhugo
pushed 4680208
master
Status Success
Total duration 9m 42s
Artifacts –

lint.yml

on: push
lint-opam
4m 13s
lint-opam
lint-fmt
2m 50s
lint-fmt
lint-runtime
6s
lint-runtime
Fit to window
Zoom out
Zoom in