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).