Skip to content

Merge pull request #1140 from nelstrom/remove-nolint-ui #15

Merge pull request #1140 from nelstrom/remove-nolint-ui

Merge pull request #1140 from nelstrom/remove-nolint-ui #15

Triggered via push November 2, 2023 22:42
Status Success
Total duration 51s
Artifacts
Push dist
42s
Push dist
Fit to window
Zoom out
Zoom in