Skip to content

Improve highlighting of identifiers #26

Improve highlighting of identifiers

Improve highlighting of identifiers #26

Triggered via pull request August 2, 2025 13:51
Status Success
Total duration 32s
Artifacts

ci.yml

on: pull_request
Matrix: unit-tests
Fit to window
Zoom out
Zoom in