diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index f443910..514ad53 100644 --- a/.github/workflows/test.yaml +++ b/.github/workflows/test.yaml @@ -7,14 +7,14 @@ on: - main pull_request: -# Pin: 0.836.0, the latest release. The accessors that hand back a +# Pin: 0.837.0, the latest release. The accessors that hand back a # pointer into their argument declare it `@into` (aether#2990), which # 0.836.0 checks; the lane moves (aether#2550), bit casts and reductions # (#2603) and `@target("avx2") import` (#2607) are 0.835.0's. A # reproducible bootstrap version: the floor this code needs, verified by # every job below. env: - AE_PIN: 0.836.0 + AE_PIN: 0.837.0 AEB_REF: v0.328 jobs: diff --git a/README.md b/README.md index cf6a7d5..1dff4c6 100644 --- a/README.md +++ b/README.md @@ -84,11 +84,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.836.0 AEB_REF=v0.328 sh + | AE_PIN=0.837.0 AEB_REF=v0.328 sh export PATH="$HOME/.local/bin:$PATH" ``` -This installs `ae` 0.836.0, the release CI pins, and `aeb` v0.328 under +This installs `ae` 0.837.0, the release CI pins, and `aeb` v0.328 under `~/.local` (`PREFIX` overrides it), using release binaries where available. CI verifies only the pinned release; older ones are not tested (the `@into` parameters this code declares arrived in 0.836.0, the lane moves