Code

ci: Use Kani with Nix#147

Code

Merged

nspin merged 7 commits intoseL4:mainseL4/rust-sel4:mainfrom nspin:pr/kani-nixnspin/rust-sel4:pr/kani-nixCopy head branch name to clipboardJun 5, 2024

+220-162

Commits

Commits on Jun 5, 2024

• nix: Update Verus

  Show description for 7c18c34
  nspin

  committed
  7c18c34

• nix: Update Verus

  Show description for a05d662
  nspin

  committed
  a05d662

• nix: Update Verus

  Show description for 3d75402
  nspin

  committed
  3d75402

• nix: Improve flexibility of Cargo lockfile vendoring

  Show description for 04da55d
  nspin

  committed
  04da55d

• nix: Add Kani

  Show description for b2a7676
  nspin

  committed
  b2a7676

• ci: Use Kani with Nix

  Show description for fbb7724
  nspin

  committed
  fbb7724

• Remove Kani Docker setup

  Show description for ffaed79
  nspin

  committed
  ffaed79