Code

Followup to intitial nix setup#35

Code

Merged

rv-jenkins merged 6 commits intomasterruntimeverification/komet:masterfrom sam/nix-cleanupruntimeverification/komet:sam/nix-cleanupCopy head branch name to clipboardSep 10, 2024

+82-728

Commits

Commits on Sep 8, 2024

• Followup to intitial nix setup, cleaning up a few details

  goodlyrottenapple

  committed
  a5bcfb6

• Set Version: 0.1.29

  

  devops

  committed
  a5d121c

Commits on Sep 9, 2024

• Merge branch 'master' into sam/nix-cleanup

  goodlyrottenapple

  authored
  3ed9e44

• Set Version: 0.1.30

  

  devops

  committed
  c85d7ac

Commits on Sep 10, 2024

• Merge branch 'master' into sam/nix-cleanup

  goodlyrottenapple

  authored
  c2fe5f7

• Set Version: 0.1.31

  

  devops

  committed
  c9655e3