Skip to content

Moving the color gutter to right #1114

Moving the color gutter to right

Moving the color gutter to right #1114

Triggered via pull request December 1, 2024 13:46
@aboseabose
synchronize #1963
x
Status Success
Total duration 2m 0s
Artifacts

pull_request_verify.yml

on: pull_request
Fit to window
Zoom out
Zoom in