Code

Packaging: version path fix#3691

Code

Merged

rv-jenkins merged 5 commits intodevelopruntimeverification/k:developfrom version-file2runtimeverification/k:version-file2Copy head branch name to clipboardOct 4, 2023

+23-1

Commits

Commits on Oct 4, 2023

• Fix a missing change needed for the new path to version

  gtrepta

  committed
  a740644

• Adding version test to test-package

  

  Robertorosmaninho

  authored and

  gtrepta

  committed
  cd4c878

• Using $VERSION_REGEX var

  

  Robertorosmaninho

  authored and

  gtrepta

  committed
  ed8eb17

• test-package: Rework help/version fix to mirror regression-new/help

  gtrepta

  committed
  a27c636

• Merge branch 'develop' into version-file2

  rv-jenkins

  authored
  9e64036