message: Build with the valid target
diff: @@ -91,7 +91,7 @@ jobs:
  - name: Building minimal kernel
  working-directory: libhermit-rs
  run:
  - cargo build -Z build-std=std,core,alloc,panic_abort --target x86_64-unknown-hermit --no-default-features
  + cargo build -Z build-std=core,alloc --target x86_64-unknown-hermit-kernel --no-default-features
  - name: Building dev version
  run:
  cargo build -Z build-std=std,core,alloc,panic_abort --target x86_64-unknown-hermit
  