Skip to content
lint

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

Sign in to view logs

Try fixing github build: install only opam with apt

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

Triggered via pull request July 10, 2024 18:05
@stroxlerstroxler
synchronize #893
export-D59591828
Status Success
Total duration 49s
Artifacts –

lint.yml

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