Skip to content

v4.2.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 03 Aug 13:07
· 20 commits to master since this release
v4.2.2
827aa73
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

v4.2.2

Changes since v4.2.1.

Full diff

Commits

  • 827aa73 release: prepare SER 4.2.2
  • c21e130 skill: rebuild strict SER skill
  • cf89dd3 tests: property-based fuzzing for the compiler and runtime
  • 0625cdc fix: silent compiler correctness bugs found by fuzzing
  • 5002534 ci: isolate paid runner usage (#97)
Assets 7
Loading