Skip to content

v0.19.3
Compare
Choose a tag to compare
@github-actions github-actions released this 07 May 13:15
· 301 commits to main since this release
v0.19.3
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.
c935b09
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.

v0.19.3 -- 2024-05-07

Added

  • Added static analysis checks to ensure proper usage of nondet and oneOf (#1431).

Changed

Deprecated

Removed

Fixed

Security

Assets 2
Loading