Skip to content

Add rust target ci#44

Merged
alexsnaps merged 1 commit into
rust-targetfrom
proper-ci
Mar 2, 2026
Merged

Add rust target ci#44
alexsnaps merged 1 commit into
rust-targetfrom
proper-ci

Conversation

@rrevenantt

@rrevenantt rrevenantt commented Mar 1, 2026

Copy link
Copy Markdown
  • runs all antlr tool tests
  • runs all rust runtime crate tests
  • publishes new release when new version is pushed

todo: formatting as a separate PR

Closes #17

@rrevenantt rrevenantt force-pushed the proper-ci branch 3 times, most recently from 342f326 to 5a4e2f7 Compare March 1, 2026 13:09
run: cargo test --verbose
# - name: Formatting
# run: cargo fmt -- --check
- uses: actions/checkout@v3

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we should be able to enable this once #27 is merged

@rrevenantt rrevenantt force-pushed the proper-ci branch 5 times, most recently from e682c20 to 9002091 Compare March 1, 2026 14:30
@alexsnaps alexsnaps merged commit ee89472 into rust-target Mar 2, 2026
51 checks passed
@alexsnaps alexsnaps deleted the proper-ci branch March 2, 2026 23:37
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.

Have CI run rust target

2 participants