Skip to content

v0.3.6

Choose a tag to compare

View all tags
@BenSpex BenSpex released this 26 Feb 04:04
· 202 commits to main since this release
v0.3.6
89702b5
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Fix false E001/E004 from stale graph edges in batch compile — When keel compile --changed runs on multiple files (e.g. pre-commit hook), callers in the same batch are now skipped by E001/E004 since both sides were modified together
  • Fix telemetry project identity inflation — Deduplicate project hashes in telemetry events
  • Fix remote telemetry thread killed before request completes — Ensure telemetry flush finishes before process exits
  • Bump flaky CI perf test thresholds — More headroom for slow GitHub Actions runners

What's Changed

  • Fix remote telemetry: wait for HTTP send before exit by @BenSpex in #8

Full Changelog: v0.3.5...v0.3.6

Contributors

BenSpex
Assets 8
Loading