Skip to content

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

Fix an incorrect node name in the PGML highlighting.

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

Triggered via push October 17, 2024 12:49
Status Success
Total duration 42s
Artifacts

linter.yml

on: push
Lint TypeScript and JavaScript files with eslint
32s
Lint TypeScript and JavaScript files with eslint
Fit to window
Zoom out
Zoom in