What's Changed
- Allow overlap of term+type references during canonicalization by @dolio in #6176
- Support underscores in numeric literals by @tfausak in #6180
- Don't use pager for type errors by @ChrisPenner in #6186
- add list files flag & dirty files check by @aryairani in #6193
- use explicit locale for attestation sort by @aryairani in #6195
- Fix ctrl-c on pager by @ChrisPenner in #6187
- only amend a commit if the attestation actually changed by @aryairani in #6199
- don't record a tests failure just because
stackisn't on the PATH. by @aryairani in #6202 - don't make me build ucm both with and without tests by @aryairani in #6203
- add
--list-filesoutput to CI hashing step by @aryairani in #6204 - stop using ripgrep since it wasn't working and we don't need it. by @aryairani in #6205
- don't have pre-push hook stash changes unless it needs to by @aryairani in #6206
- Add
ForeignPtrtype and builtins for finalizing external resources by @dolio in #6192 - single entry point for quick and full check by @aryairani in #6209
- don't cancel ci-result when one of the tests is skipped (by design) by @aryairani in #6210
- don't run quick-check when pushing to the merge queue by @aryairani in #6213
- Add missing comparison cases for new builtin types by @dolio in #6208
- Fix LSP thread hang on exit on Windows by @andgate in #6196
- try to make skipped job names more comprehensible by @aryairani in #6214
- Support underscores in bytes literals by @tfausak in #6181
- Exempt .github/workflows/proofs/ from CODEOWNERS review by @aryairani in #6215
- short circuit formatting test if proof exists by @aryairani in #6216
- Suggest
==when=is used in expression position by @tfausak in #6219 - LSP - Fix prefixing on type sig hints by @ChrisPenner in #6188
- Add missing type hint for blanks by @ChrisPenner in #6191
- Improve type checking of recursive lets with a mix of binding annotations by @dolio in #6221
New Contributors
Full Changelog: release/1.1.1...release/1.2.0