Code

[release] 0.43.0#2736

Code

Merged

shonfeder merged 2 commits intomainapalache-mc/apalache:mainfrom release/0.43.0apalache-mc/apalache:release/0.43.0Copy head branch name to clipboardSep 18, 2023

+7-2

Commits

Commits on Sep 18, 2023

• [release] 0.43.0

  

  shonfeder

  committed
  1db427e

• Bump version to 0.43.1-SNAPSHOT

  

  shonfeder

  committed
  3421445