message: rename target also for GitHub Action tests
diff: @@ -91,7 +91,7 @@ jobs:
  - name: Building minimal kernel
  working-directory: libhermit-rs
  run:
  - cargo build -Z build-std=core,alloc --target x86_64-unknown-hermit-kernel --no-default-features
  + cargo build -Z build-std=core,alloc --target x86_64-unknown-none-hermitkernel --no-default-features
  - name: Building dev version
  run:
  cargo build -Z build-std=std,core,alloc,panic_abort --target x86_64-unknown-hermit
  @@ -124,6 +124,6 @@ jobs:
  - name: Integration Tests
  working-directory: libhermit-rs
  run:
  - cargo test --tests --no-fail-fast -Z build-std=core,alloc --target x86_64-unknown-hermit-kernel -- --bootloader_path=../loader/target/x86_64-unknown-hermit-loader/debug/rusty-loader
  + cargo test --tests --no-fail-fast -Z build-std=core,alloc --target x86_64-unknown-none-hermitkernel -- --bootloader_path=../loader/target/x86_64-unknown-hermit-loader/debug/rusty-loader
  continue-on-error: true
  if: ${{ matrix.os == 'ubuntu-latest' }}
  