Code

[release] 0.15.3#755

Code

Merged

shonfeder merged 2 commits intounstableapalache-mc/apalache:unstablefrom release/0.15.3apalache-mc/apalache:release/0.15.3Copy head branch name to clipboardApr 19, 2021

+34-31

Commits

Commits on Apr 19, 2021

• [release] 0.15.3

  

  shonfeder

  committed
  c1c1b5d

  Copy full SHA for c1c1b5d

• Bump version to 0.15.4-SNAPSHOT

  

  shonfeder

  committed
  46c4b32

  Copy full SHA for 46c4b32