Enforce PR label

Fix gutter styling with dark themes #33

Sign in to view logs

Triggered via pull request September 17, 2025 17:59

jtpio

opened #14

jtpio:fix-dark-theme-styling

Status Success

Total duration 1m 9s

Artifacts –

enforce-label.yml

on: pull_request