Skip to content

v2.142.0

Choose a tag to compare

View all tags
@seambot seambot released this 18 Aug 23:30
· 29 commits to main since this release
v2.142.0
This tag was signed with the committer’s verified signature.
seambot Seam Bot
GPG key ID: F890E4763923BD1A
Verified
Learn about vigilant mode.
dc195d0
This commit was signed with the committer’s verified signature.
seambot Seam Bot
GPG key ID: F890E4763923BD1A
Verified
Learn about vigilant mode.

2.142.0 (2026-08-18)

Features

  • support boolean literal constraints (9b08239)
Assets 3
Loading