Code

Test ring on -*sel4* targets#54

Code

Merged

nspin merged 6 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/nix-cargo-test-and-ringnspin/rust-sel4:pr/nix-cargo-test-and-ringCopy head branch name to clipboardJan 6, 2024

+1,025-53

Commits

Commits on Jan 6, 2024

• nix: Add support for cargo test

  Show description for 9f3457e
  nspin

  committed
  9f3457e

• nix: Increase timeout for Banscii test

  Show description for a55b981
  nspin

  committed
  a55b981

• nix: Restore mistakenly dropped instances of release profile usage

  Show description for 99ea1ff
  nspin

  committed
  99ea1ff

• Add test harness and test ring

  Show description for 0a03232
  nspin

  committed
  0a03232

• Clean up 'ring' test harness

  Show description for db37f08
  nspin

  committed
  db37f08

• Use symbolic versions of crates

  Show description for 4ae8c6b
  nspin

  committed
  4ae8c6b