message: rename target to build libos
diff: @@ -62,11 +62,11 @@ test:integration:
  - cargo install uhyve
  - HERMIT_LOG_LEVEL_FILTER=Debug cargo test --test '*' --no-fail-fast -Z build-std=core,alloc
  -Z build-std-features=compiler-builtins-mem --no-default-features --features=pci,acpi
  - --target x86_64-unknown-hermit-kernel -- --uhyve_path=$HOME/.cargo/bin/uhyve --veryverbose
  + --target x86_64-unknown-none-hermitkernel -- --uhyve_path=$HOME/.cargo/bin/uhyve --veryverbose
  # 2 cores
  - HERMIT_LOG_LEVEL_FILTER=Debug cargo test --test '*' --no-fail-fast -Z build-std=core,alloc
  -Z build-std-features=compiler-builtins-mem --no-default-features --features=pci,acpi
  - --target x86_64-unknown-hermit-kernel -- --uhyve_path=$HOME/.cargo/bin/uhyve --num_cores 2
  + --target x86_64-unknown-none-hermitkernel -- --uhyve_path=$HOME/.cargo/bin/uhyve --num_cores 2
  --veryverbose
  tags:
  - privileged
  