Skip to content
Lint

Adapt to https://github.com/coq/coq/pull/18880 (#348) #323

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/18880 (#348)

Adapt to https://github.com/coq/coq/pull/18880 (#348) #323

Triggered via push April 13, 2024 16:15
@whonorewhonore
pushed e658dca
main
Status Success
Total duration 40s
Artifacts –

lint.yml

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