Skip to content
lint

Try fixing github build: install only opam with apt #5223

Sign in to view logs

Try fixing github build: install only opam with apt

Try fixing github build: install only opam with apt #5223

Triggered via pull request July 12, 2024 16:34
@stroxlerstroxler
synchronize #893
export-D59591828
Status Success
Total duration 46s
Artifacts –

lint.yml

on: pull_request
pre-commit-lints
38s
pre-commit-lints
Fit to window
Zoom out
Zoom in