Skip to content

Merge pull request #22 from AutoActuary/dev-column-gutter-widths #116

Merge pull request #22 from AutoActuary/dev-column-gutter-widths

Merge pull request #22 from AutoActuary/dev-column-gutter-widths #116

Triggered via push November 1, 2024 02:36
Status Success
Total duration 34s
Artifacts

mypy.yml

on: push
Fit to window
Zoom out
Zoom in