Code

[release] 0.44.1#2777

Code

Closed

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

+3-1

Commits

Commits on Nov 13, 2023

• [release] 0.44.1

  

  shonfeder

  committed
  b333b31

  Copy full SHA for b333b31

• Bump version to 0.44.2-SNAPSHOT

  

  shonfeder

  committed
  74ab806

  Copy full SHA for 74ab806