Skip to content

Commit

Permalink
feat: bump lalrpop to 0.22.0 and remove patch from the no std check…
Browse files Browse the repository at this point in the history
… in CI (#206)
  • Loading branch information
iajoiner authored Oct 2, 2024
2 parents 3fb460f + a921f9f commit f3c9dca
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 4 deletions.
3 changes: 1 addition & 2 deletions .github/workflows/lint-and-test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -57,10 +57,9 @@ jobs:
run: cargo check -p proof-of-sql --no-default-features --features="perf"
- name: Run cargo check (proof-of-sql) (just "std" feature)
run: cargo check -p proof-of-sql --no-default-features --features="std"
- name: Run cargo check (proof-of-sql-parser) with no_std target. This requires a lalrpop patch.
- name: Run cargo check (proof-of-sql-parser) with no_std target.
run: |
rustup target add thumbv7em-none-eabi
printf '\n[patch.crates-io]\nlalrpop = { git = "https://github.com/lalrpop/lalrpop", rev = "173597c" }\nlalrpop-util = { git = "https://github.com/lalrpop/lalrpop", rev = "173597c" }\n' >> Cargo.toml
cargo check -p proof-of-sql-parser --target thumbv7em-none-eabi
test:
Expand Down
4 changes: 2 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -37,8 +37,8 @@ derive_more = { version = "0.99" }
flexbuffers = { version = "2.0.0" }
indexmap = { version = "2.1", default-features = false }
itertools = { version = "0.13.0", default-features = false, features = ["use_alloc"] }
lalrpop = { version = "0.21.0" }
lalrpop-util = { version = "0.21.0", default-features = false }
lalrpop = { version = "0.22.0" }
lalrpop-util = { version = "0.22.0", default-features = false }
merlin = { version = "2" }
num-traits = { version = "0.2", default-features = false }
num-bigint = { version = "0.4.4", default-features = false }
Expand Down

0 comments on commit f3c9dca

Please sign in to comment.