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 30s
Artifacts
Check TypeScript, JavaScript, style, and HTML file formatting with prettier
20s
Check TypeScript, JavaScript, style, and HTML file formatting with prettier
Fit to window
Zoom out
Zoom in