Code

[release] 0.44.8#2867

Code

Merged

bugarela merged 2 commits intomainapalache-mc/apalache:mainfrom release/0.44.8apalache-mc/apalache:release/0.44.8Copy head branch name to clipboardMar 20, 2024

+8-5

Commits

Commits on Mar 20, 2024

• [release] 0.44.8

  

  bugarela

  committed
  2509f9b

  Copy full SHA for 2509f9b

• Bump version to 0.44.9-SNAPSHOT

  

  bugarela

  committed
  81c3f8a

  Copy full SHA for 81c3f8a