Skip to content

Merge pull request #1180 from jplag/feature/antlr-utils-simpler-names #1

Merge pull request #1180 from jplag/feature/antlr-utils-simpler-names

Merge pull request #1180 from jplag/feature/antlr-utils-simpler-names #1

Triggered via push July 18, 2023 10:15
Status Success
Total duration 1m 16s
Artifacts

spotless.yml

on: push
Fit to window
Zoom out
Zoom in