Skip to content

Aether 0.805.0 and aeb v0.326, the latest releases - #171

Merged
nicolas-maman merged 1 commit into
mainfrom
aether-0.805
Oct 12, 2026
Merged

nicolas-maman merged 1 commit into
mainfrom
aether-0.805

Conversation

@nicolas-maman

Copy link
Copy Markdown
Collaborator

Moves CI to Aether 0.805.0 and aeb v0.326, the latest releases. ae3d and Siltreach already build aephysics main on 0.805. Only aephysics' own CI was still pinned at 0.799.0.

Verified locally on 0.805.0

  • Every module passes ae check, with no warnings. This includes the checks added since 0.799: a return on every path (0.801), locals shadowing a builder's module functions (0.803), and a module's imports being its own (0.805).
  • All 38 tests pass.
  • The golden trace matches bit for bit (1256 steps).

No code change was needed.

README

The install line was still on 0.795.0; it now matches CI. It also claimed the code needs "0.788.0 or newer". CI never tests that floor, so the README now says CI verifies only the pinned release.

Pins

Aether 0.805.0 and aeb v0.326, both the latest releases.

The gate passes on 0.805.0 unchanged: every module check, every test,
and the golden trace bit for bit. The README's install line was still on
0.795.0 and now matches CI; it no longer claims a floor CI doesn't test.
@nicolas-maman
nicolas-maman merged commit a9e4388 into main Oct 12, 2026
2 checks passed
@nicolas-maman
nicolas-maman deleted the aether-0.805 branch October 12, 2026 01:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant