Code

Fix flake#136

Code

Merged

Nadrieril merged 3 commits intoAeneasVerif:mainAeneasVerif/eurydice:mainfrom Nadrieril:fix-flakeNadrieril/eurydice:fix-flakeCopy head branch name to clipboardJan 14, 2025

+16-29

Commits

Commits on Jan 13, 2025

• No need to use charon's build inputs to run our tests

  Nadrieril

  committed
  2191d3b

  Copy full SHA for 2191d3b

• Setup clang correctly in tests

  Nadrieril

  committed
  615d3cb

  Copy full SHA for 615d3cb

Commits on Jan 14, 2025

• Use recent nixpkgs for the non-ocaml side of charon

  Nadrieril

  committed
  b5414e7

  Copy full SHA for b5414e7