Skip to content
Lint

Adapt to https://github.com/coq/coq/pull/19530 #368

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530

Adapt to https://github.com/coq/coq/pull/19530 #368

Triggered via pull request September 17, 2024 06:08
@proux01proux01
opened #372
proux01:stdlib_repo
Status Failure
Total duration 27s
Artifacts –

lint.yml

on: pull_request
lint
14s
lint
Fit to window
Zoom out
Zoom in

Annotations

1 error
lint
Process completed with exit code 1.