Skip to content

Add optional leading whitespace highlighting capability #77

Add optional leading whitespace highlighting capability

Add optional leading whitespace highlighting capability #77

Triggered via pull request January 13, 2025 05:30
@AgentHaguAgentHagu
closed #2583
Status Skipped
Total duration 3s
Artifacts

pr-merge.yml

on: pull_request_target
check-pr-label
0s
check-pr-label
assign-label-or-reminder
0s
assign-label-or-reminder
Fit to window
Zoom out
Zoom in