[release] 0.25.3 #1788

shonfeder · 2022-05-19T21:33:02Z

Reviewer instructions

Check the changelog to ensure the version increment is consistent with https://semver.org/.
- If a different version should be released, follow the instructions.
Review the changeset as a sanity check.
Approve the PR, if it pases muster.
Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
After the release has been published to github, delete this branch.

Introduce dedicated exit codes for type-checking errors, parser errors, and evaluation errors (e.g., due to unsupported language constructs or operators), see Introduce dedicated exit codes #1749

Support sound records (over rows) in the model checker, see Support new records in the model checker #1717

Fix potential non-determinism when picking from [S -> T], see Fix 1752 by de-duplicating sets #1753

Shon Feder added 6 commits May 19, 2022 16:40

Use changeling plugin in release pipeline

2946d60

Move UNRELEASED.d changes into .unreleased dir

1b0fd54

Ensure .unreleased change dirs have .gitkeep

231a311

Update release note docs

db0a7d3

[release] 0.25.3

ad8b236

Bump version to 0.25.4-SNAPSHOT

0f2e568

shonfeder closed this May 19, 2022

shonfeder deleted the release/0.25.3 branch May 19, 2022 21:45