Skip to content

Fix block comment handling to treat /* as whitespace only when not pr… #446

Fix block comment handling to treat /* as whitespace only when not pr…

Fix block comment handling to treat /* as whitespace only when not pr… #446

Triggered via pull request December 7, 2025 06:54
Status Skipped
Total duration 7s
Artifacts

run_all_tests.yaml

on: pull_request
optional-tests
optional-tests
Fit to window
Zoom out
Zoom in