Code

[release] 0.42.1#2735

Code

Closed

apalache-bot wants to merge 2 commits intomainapalache-mc/apalache:mainfrom release/0.42.1apalache-mc/apalache:release/0.42.1Copy head branch name to clipboard

+7-2

Commits

Commits on Sep 18, 2023

• [release] 0.42.1

  

  shonfeder

  committed
  05787d5

• Bump version to 0.42.2-SNAPSHOT

  

  shonfeder

  committed
  2b67170