From a9b1fabe62ae78718fde78af9dc9bab70916b403 Mon Sep 17 00:00:00 2001 From: Nicolas Maman Date: Thu, 8 Oct 2026 21:39:04 -0300 Subject: [PATCH] Pin Aether 0.794.0, the latest release --- .github/workflows/test.yaml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml index 6b288f7..cecbcb5 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.793.0, the latest release (f32x8 arrived in 0.788.0, aether#2428), + # Pin: 0.794.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.793.0 AEB_REF=v0.325 sh + | AE_PIN=0.794.0 AEB_REF=v0.325 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.793.0 AEB_REF=v0.325 sh + | AE_PIN=0.794.0 AEB_REF=v0.325 sh echo "$HOME/.local/bin" >> "$GITHUB_PATH" - name: Run the tests with ae