Code

Move nailgun to lib/kframework/bin#3825

Code

Merged

rv-jenkins merged 6 commits intodevelopruntimeverification/k:developfrom nailgun-locationruntimeverification/k:nailgun-locationCopy head branch name to clipboardNov 29, 2023

+6-5

Commits

Commits on Nov 21, 2023

• Install nailgun to lib/kframework/bin

  gtrepta

  committed
  2fc5421

  Copy full SHA for 2fc5421

• nix/k.nix: Include lib/kframework/bin in bin-unwrapped

  gtrepta

  committed
  7ab650e

  Copy full SHA for 7ab650e

Commits on Nov 27, 2023

• Invoke nailgun more directly instead of adding to PATH

  gtrepta

  committed
  30f354b

  Copy full SHA for 30f354b

• nix: Patch ng in place instead of copying it to bin-unwrapped

  gtrepta

  committed
  ab46e70

  Copy full SHA for ab46e70

Commits on Nov 29, 2023

• Merge branch 'develop' into nailgun-location

  rv-jenkins

  authored
  8efffb2

  Copy full SHA for 8efffb2

• Merge branch 'develop' into nailgun-location

  rv-jenkins

  authored
  a20d52e

  Copy full SHA for a20d52e