diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index 2a20f17..d602013 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.799.0, the latest release (f32x8 arrived in 0.788.0, aether#2428, + # Pin: 0.805.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.799.0 AEB_REF=v0.325 sh + | AE_PIN=0.805.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.799.0 AEB_REF=v0.325 sh + | AE_PIN=0.805.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 8cd2844..1e65f24 100644 --- a/README.md +++ b/README.md @@ -81,13 +81,14 @@ 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.795.0 AEB_REF=v0.325 sh + | AE_PIN=0.805.0 AEB_REF=v0.326 sh export PATH="$HOME/.local/bin:$PATH" ``` -This installs `ae` 0.795.0, the release CI pins, and `aeb` v0.325 under +This installs `ae` 0.805.0, the release CI pins, and `aeb` v0.326 under `~/.local` (`PREFIX` overrides it), using release binaries where available. -The code needs 0.788.0 or newer (the eight-wide lanes, `f32x8`). +CI verifies only the pinned release; older ones are not tested (the +eight-wide lanes, `f32x8`, arrived in 0.788.0). ``` scripts/test.sh # builds and runs every tests/test_*.ae with ae; what CI runs