Skip to content

Commit f392e25

Browse files
authored
ci: add nanvix-unstable compile checks to CI and Justfile (#1294)
Add CI coverage for the nanvix-unstable feature flag to catch compilation regressions on the non-CoW code path. Note: only compile checks are added, not test runs, because the standard Hyperlight test guests require CoW paging which is disabled under nanvix-unstable. Changes: - Justfile check: verify nanvix-unstable and nanvix-unstable+executable_heap compile on the host - Justfile check-i686: verify hyperlight-common builds for i686 with nanvix-unstable enabled Signed-off-by: danbugs <danilochiarlone@gmail.com>
1 parent 564aacb commit f392e25

1 file changed

Lines changed: 3 additions & 0 deletions

File tree

Justfile

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -261,6 +261,7 @@ test-rust-tracing target=default-target features="":
261261
check-i686 target=default-target:
262262
cargo check -p hyperlight-common --target i686-unknown-linux-gnu --profile={{ if target == "debug" { "dev" } else { target } }}
263263
cargo check -p hyperlight-guest --target i686-unknown-linux-gnu --profile={{ if target == "debug" { "dev" } else { target } }}
264+
cargo check -p hyperlight-common --target i686-unknown-linux-gnu --features nanvix-unstable --profile={{ if target == "debug" { "dev" } else { target } }}
264265
# Verify that trace_guest correctly fails on i686 (compile_error should trigger)
265266
! cargo check -p hyperlight-guest --target i686-unknown-linux-gnu --features trace_guest --profile={{ if target == "debug" { "dev" } else { target } }} 2>/dev/null
266267

@@ -283,6 +284,8 @@ check:
283284
{{ cargo-cmd }} check -p hyperlight-host --features print_debug {{ target-triple-flag }}
284285
{{ cargo-cmd }} check -p hyperlight-host --features gdb {{ target-triple-flag }}
285286
{{ cargo-cmd }} check -p hyperlight-host --features trace_guest,mem_profile {{ target-triple-flag }}
287+
{{ cargo-cmd }} check -p hyperlight-host --features nanvix-unstable {{ target-triple-flag }}
288+
{{ cargo-cmd }} check -p hyperlight-host --features nanvix-unstable,executable_heap {{ target-triple-flag }}
286289

287290
fmt-check:
288291
rustup +nightly component list | grep -q "rustfmt.*installed" || rustup component add rustfmt --toolchain nightly

0 commit comments

Comments
 (0)