Code

Remove mavenix take 2#3806

Code

Merged

rv-jenkins merged 11 commits intodevelopruntimeverification/k:developfrom sam/remove-mavenixruntimeverification/k:sam/remove-mavenixCopy head branch name to clipboardNov 13, 2023

+273-7,303

Commits

Commits on Nov 9, 2023

• switch from using mavenix to using buildMavenPackage backported from upcoming nixos 23.11 stable release

  goodlyrottenapple

  committed
  74409e0

  Copy full SHA for 74409e0

• further tweaks + readme

  goodlyrottenapple

  committed
  3001042

  Copy full SHA for 3001042

• fix offline build

  goodlyrottenapple

  committed
  953cb3f

  Copy full SHA for 953cb3f

• fix ng patchelf

  goodlyrottenapple

  committed
  072d1ad

  Copy full SHA for 072d1ad

• add more maven issues to readme

  goodlyrottenapple

  committed
  af14389

  Copy full SHA for af14389

• re-shuffle bins

  goodlyrottenapple

  committed
  deb86e2

  Copy full SHA for deb86e2

• remove flake-compat

  goodlyrottenapple

  committed
  2a8ca4f

  Copy full SHA for 2a8ca4f

Commits on Nov 10, 2023

• remove local snapshots from maven-deps

  goodlyrottenapple

  committed
  5c4d692

  Copy full SHA for 5c4d692

• Merge branch 'develop' into sam/remove-mavenix

  goodlyrottenapple

  authored
  e3a5cee

  Copy full SHA for e3a5cee

• Merge branch 'develop' into sam/remove-mavenix

  goodlyrottenapple

  authored
  fc1859b

  Copy full SHA for fc1859b

Commits on Nov 13, 2023

• Merge branch 'develop' into sam/remove-mavenix

  goodlyrottenapple

  authored
  42097d2

  Copy full SHA for 42097d2