Skip to content

Generate VeLa grammar PDFs and include in snapshot release#586

Merged
dbenn merged 1 commit into
masterfrom
585-generate-vela-grammar-as-pdf-and-link-to-vela-wiki
Apr 26, 2026
Merged

Generate VeLa grammar PDFs and include in snapshot release#586
dbenn merged 1 commit into
masterfrom
585-generate-vela-grammar-as-pdf-and-link-to-vela-wiki

Conversation

@dbenn

@dbenn dbenn commented Apr 26, 2026

Copy link
Copy Markdown
Collaborator

Adds two new steps to the snapshot release workflow:

  • Plain text grammar PDF (VeLa.g4.pdf) via enscript | ps2pdf
  • Railroad diagram PDF (VeLa-railroad.pdf) via bkiers/rrd-antlr4

Maven repository is cached to avoid repeated dependency downloads. Both PDFs are uploaded as snapshot release assets. Closes #585.

Made-with: Cursor

Adds two new steps to the snapshot release workflow:
- Plain text grammar PDF (VeLa.g4.pdf) via enscript | ps2pdf
- Railroad diagram PDF (VeLa-railroad.pdf) via bkiers/rrd-antlr4

Maven repository is cached to avoid repeated dependency downloads.
Both PDFs are uploaded as snapshot release assets. Closes #585.

Made-with: Cursor
@dbenn dbenn linked an issue Apr 26, 2026 that may be closed by this pull request
@dbenn dbenn self-assigned this Apr 26, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Plugin Unit Tests

All tests passed (Java 17)

Metric Value
Tests 1
Passed 1
Failures 0
Errors 0

@github-actions

Copy link
Copy Markdown
Contributor

VStar Unit Tests

All tests passed (Java 17)

Metric Value
Tests 750
Passed 750
Failures 0
Errors 0

@dbenn dbenn merged commit eb2a927 into master Apr 26, 2026
20 checks passed
@dbenn dbenn deleted the 585-generate-vela-grammar-as-pdf-and-link-to-vela-wiki branch April 26, 2026 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Generate VeLa grammar as PDF and link to VeLa wiki

1 participant