Skip to content
Lint

devtools: cleanup related to python release tooling #1941

Sign in to view logs

devtools: cleanup related to python release tooling

devtools: cleanup related to python release tooling #1941

Triggered via pull request September 5, 2024 12:55
@fingolfinfingolfin
synchronize #5792
fingolfin:mh/devtools-cleanup
Status Success
Total duration 37s
Artifacts –

lint.yml

on: pull_request
gaplint
27s
gaplint
Fit to window
Zoom out
Zoom in