Code

[release] 0.15.3#753

Code

Closed

apalache-bot wants to merge 2 commits intounstableapalache-mc/apalache:unstablefrom release/0.15.3apalache-mc/apalache:release/0.15.3Copy head branch name to clipboard

+34-31

Commits

Commits on Apr 19, 2021

• [release] 0.15.3

  

  shonfeder

  committed
  e434778

  Copy full SHA for e434778

• Bump version to 0.15.4-SNAPSHOT

  

  shonfeder

  committed
  65b4c64

  Copy full SHA for 65b4c64