Code

Use LLVM 17 in Nix CI#927

Code

Closed

Baltoli wants to merge 1 commit intomasterruntimeverification/llvm-backend:masterfrom llvm-17-ciruntimeverification/llvm-backend:llvm-17-ciCopy head branch name to clipboard

+17-16

Commits

Commits on Dec 11, 2023

• Use LLVM 17 in Nix CI

  Baltoli

  committed
  f6a46c6

  Copy full SHA for f6a46c6