Skip to content

Fix an incorrect node name in the PGML highlighting. #15

Fix an incorrect node name in the PGML highlighting.

Fix an incorrect node name in the PGML highlighting. #15

Triggered via push October 15, 2024 13:23
Status Success
Total duration 43s
Artifacts

unit-tests.yml

on: push
Execute Unit Tests
34s
Execute Unit Tests
Fit to window
Zoom out
Zoom in