Skip to content

v0.44.5

Compare
Choose a tag to compare
@apalache-bot apalache-bot released this 05 Feb 03:39
· 469 commits to main since this release

0.44.5 - 2024-02-05

Bug fixes

  • When expected server port is already bound, report clean user error instead of crashing with a traceback (#2676).