Skip to content
Lint

Adapt to https://github.com/coq/coq/pull/19530 (#372) #370

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530 (#372)

Adapt to https://github.com/coq/coq/pull/19530 (#372) #370

Triggered via push September 17, 2024 16:07
@whonorewhonore
pushed a582fba
main
Status Success
Total duration 36s
Artifacts –

lint.yml

on: push
lint
28s
lint
Fit to window
Zoom out
Zoom in