Skip to content

fix handling of partition names in command line arguments #15

fix handling of partition names in command line arguments

fix handling of partition names in command line arguments #15

Triggered via push June 19, 2024 15:00
Status Success
Total duration 28s
Artifacts

linting.yml

on: push
python-linting
17s
python-linting
Fit to window
Zoom out
Zoom in