From 41507c7a658412bbe5f398065a4bb8a3ca468b20 Mon Sep 17 00:00:00 2001 From: Nicolas Maman Date: Tue, 13 Oct 2026 14:52:09 -0300 Subject: [PATCH] Aether 0.811.0, the latest release The gate passes on 0.811.0 unchanged: every module check, every test, and the golden trace bit for bit. Its new checker errors (dangling slice views, the return-type check, a field read off an optional) find nothing here. aeb v0.326 is still the latest. --- .github/workflows/test.yaml | 6 +++--- README.md | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index 551c95b..71cf31e 100644 --- a/.github/workflows/test.yaml +++ b/.github/workflows/test.yaml @@ -15,13 +15,13 @@ jobs: - name: Checkout aephysics uses: actions/checkout@v4 - # Pin: 0.810.0, the latest release (f32x8 arrived in 0.788.0, aether#2428, + # Pin: 0.811.0, the latest release (f32x8 arrived in 0.788.0, aether#2428, # which the wide contact solver is written in). A reproducible bootstrap # version: the floor this code needs, verified on Linux by this job. - name: Install the released Aether toolchain and aeb run: | curl -fsSL https://raw.githubusercontent.com/aether-lang-dev/aeb/main/get.sh \ - | AE_PIN=0.810.0 AEB_REF=v0.326 sh + | AE_PIN=0.811.0 AEB_REF=v0.326 sh echo "$HOME/.local/bin" >> "$GITHUB_PATH" - name: Run the tests with ae @@ -54,7 +54,7 @@ jobs: - name: Install the released Aether toolchain and aeb run: | curl -fsSL https://raw.githubusercontent.com/aether-lang-dev/aeb/main/get.sh \ - | AE_PIN=0.810.0 AEB_REF=v0.326 sh + | AE_PIN=0.811.0 AEB_REF=v0.326 sh echo "$HOME/.local/bin" >> "$GITHUB_PATH" - name: Run the tests with ae diff --git a/README.md b/README.md index 7d613f4..42664a6 100644 --- a/README.md +++ b/README.md @@ -81,11 +81,11 @@ Install the released toolchain with the shared, version-pinned installer ```sh curl -fsSL https://raw.githubusercontent.com/aether-lang-dev/aeb/main/get.sh \ - | AE_PIN=0.810.0 AEB_REF=v0.326 sh + | AE_PIN=0.811.0 AEB_REF=v0.326 sh export PATH="$HOME/.local/bin:$PATH" ``` -This installs `ae` 0.810.0, the release CI pins, and `aeb` v0.326 under +This installs `ae` 0.811.0, the release CI pins, and `aeb` v0.326 under `~/.local` (`PREFIX` overrides it), using release binaries where available. CI verifies only the pinned release; older ones are not tested (the eight-wide lanes, `f32x8`, arrived in 0.788.0).