Skip to content

1.8.0 -- 2024-11-19

Latest
Latest
Compare
Choose a tag to compare
@seebees seebees released this 20 Nov 01:16
· 66 commits to main since this release
v1.8.0
75f81e2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

This release is available in the following languages:

  • Java

Bug Fixes

  • Drop SelectOpt from MutableMap (bdb6509)
  • Externs (0bc1f96)
  • formatting (b608ab8)
  • Python-Release: Run validate tests from release commit (41c0c94)
  • Python: CMCs release lock for unhandled runtime exceptions (#979) (1510b77)
  • Python: return error on interrupted sleep (#1003) (405cf37)
  • remove input and output traits on DynamoDB operations (#1012) (8377acf)
  • return error on interrupted sleep (#993) (f49460a)
  • rust CI (42e39cc)

Features

  • Rust: Interop test vectors; bump Dafny to 4.9.0 (#1004) (a505a30)
  • Storm cache supports millisecond resolution (#1011) (6f09d5d)
Assets 5
Loading