From df91594013f549b4c680f366853390ff1b0948d1 Mon Sep 17 00:00:00 2001 From: Jay White Date: Fri, 27 Sep 2024 10:13:07 -0400 Subject: [PATCH] ci: add hacky CI to ensure `no_std` works This patches `lalrpop` with a change that makes it `no_std` compatible. --- .github/workflows/lint-and-test.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/lint-and-test.yml b/.github/workflows/lint-and-test.yml index 63f3b4c2b..80a30d729 100644 --- a/.github/workflows/lint-and-test.yml +++ b/.github/workflows/lint-and-test.yml @@ -57,6 +57,11 @@ 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. + 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: name: Test Suite