Code

[release] 0.45.0#2950

Code

Merged

konnov merged 3 commits intomainapalache-mc/apalache:mainfrom release/0.45.0apalache-mc/apalache:release/0.45.0Copy head branch name to clipboardAug 17, 2024

+9-4

Commits

Commits on Aug 17, 2024

• [release] 0.45.0

  

  konnov

  committed
  13c39f5

  Copy full SHA for 13c39f5

• Bump version to 0.45.1-SNAPSHOT

  

  konnov

  committed
  553ff28

  Copy full SHA for 553ff28

• Merge branch 'main' into release/0.45.0

  konnov

  authored
  1735a9f

  Copy full SHA for 1735a9f