3.6.2 -- 2024-08-22

3.6.2 (2024-08-22)

Fixes

• revert change in error type (#1304) (33d7ee4)

Maintenance

• ...the nightly build. Again. (#1297) (b7a91c9)
• add timing output to test vectors (#1298) (30dfaa8)
• Enable local testing (#1278) (7093266)
• fix ci mpl head gha (#1306) (c572d6a)
• fix dafny interop build steps (#1293) (c6ce809)
• fix nightly (#1300) (a445eff)
• GHA: add backwards interop dafny tests (#1279) (1e6be80)
• GHA: another gha fix (#1292) (df64b30)
• GHA: fix dafny_interop_java (#1283) (5a1c921)
• GHA: fix test vector dafny interop (#1291) (fdefaff)
• GHA: update nightlies for interop and interop action (#1287) (8bec538)