Code

[release] 0.42.1#2728

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

+3-1

Commits

Commits on Sep 11, 2023

• [release] 0.42.1

  

  shonfeder

  committed
  f1ffd82

  Copy full SHA for f1ffd82

• Bump version to 0.42.2-SNAPSHOT

  

  shonfeder

  committed
  74175b4

  Copy full SHA for 74175b4