Merge pull request #1421 from herbie-fp/update-ci

Update CI versions & references

Author: pavpanchekha

.github/workflows/distribute.yml

@@ -15,7 +15,7 @@ jobs:
         include:
           - os: macos-latest
             arch: aarch64
-          - os: macos-13
+          - os: macos-15-large
             arch: x64
           - os: ubuntu-latest
             arch: x64
@@ -26,9 +26,9 @@ jobs:
 
     steps:
       - name: "Install Racket"
-        uses: Bogdanp/setup-racket@v1.11
+        uses: Bogdanp/setup-racket@v1.14
         with:
-            version: "8.14"
+            version: "8.18"
             architecture: ${{ matrix.arch }}
       # WARN: need to be careful with cargo paths
       - name: Cache Racket dependencies
@@ -49,7 +49,7 @@ jobs:
         with:
             toolchain: stable
             components: rustfmt, clippy
-      - uses: actions/checkout@master
+      - uses: actions/checkout@v5
       - name: "Install dependencies"
         run: make install
       # Build executable and remove Herbie launcher

.github/workflows/plugins.yml

@@ -13,15 +13,15 @@ jobs:
       - name: "Install Packages"
         run: sudo apt-get install -y libmpfr6 libmpfr-dev
       - name: "Install Racket"
-        uses: Bogdanp/setup-racket@v1.11
+        uses: Bogdanp/setup-racket@v1.14
         with:
-          version: "8.14"
+          version: "8.18"
       - name: Install Rust compiler
         uses: dtolnay/rust-toolchain@stable
         with:
             toolchain: stable
             components: rustfmt, clippy
-      - uses: actions/checkout@master
+      - uses: actions/checkout@v5
       - name: "Install dependencies"
         run: make install
       - name: "Install SoftPosit support"

.github/workflows/release.yml

@@ -20,19 +20,19 @@ jobs:
           - os: macos-latest
             os-name: macOS-m1
             arch: arm64
-          - os: macos-13
+          - os: macos-15-large
             os-name: macOS
             arch: x64
 
     runs-on: ${{ matrix.os }}
 
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
 
       - name: Install Racket
-        uses: Bogdanp/setup-racket@v1.11
+        uses: Bogdanp/setup-racket@v1.14
         with:
-          version: 8.11
+          version: 8.18
           architecture: ${{ matrix.arch }}
 
       - name: Install Rust compiler
@@ -79,7 +79,7 @@ jobs:
           merge-multiple: true
 
       - name: Create Release
-        uses: ncipollo/release-action@v1
+        uses: ncipollo/release-action@v1.20.0
         with:
           tag: ${{ github.ref }}
           name: ${{ github.ref }}

.github/workflows/resyntax-autofixer.yml

@@ -17,15 +17,15 @@ jobs:
       - name: "Install Packages"
         run: sudo apt-get install -y libmpfr6 libmpfr-dev
       - name: "Install Racket"
-        uses: Bogdanp/setup-racket@v1.11
+        uses: Bogdanp/setup-racket@v1.14
         with:
           version: current
       - name: Install Rust compiler
         uses: dtolnay/rust-toolchain@stable
         with:
             toolchain: stable
             components: rustfmt, clippy
-      - uses: actions/checkout@master
+      - uses: actions/checkout@v5
       - name: "Install dependencies"
         run: make install
       - name: Create a Resyntax pull request

.github/workflows/tests.yml

@@ -11,21 +11,21 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        racket-version: [ '8.7', '8.14' ]
+        racket-version: [ '8.7', '8.18' ]
         precision: [ 'binary32', 'binary64' ]
     steps:
       - name: "Install Packages"
         run: sudo apt-get install -y libmpfr6 libmpfr-dev
       - name: "Install Racket"
-        uses: Bogdanp/setup-racket@v1.11
+        uses: Bogdanp/setup-racket@v1.14
         with:
           version: ${{ matrix.racket-version }}
       - name: Install Rust compiler
         uses: dtolnay/rust-toolchain@stable
         with:
             toolchain: stable
             components: rustfmt, clippy
-      - uses: actions/checkout@master
+      - uses: actions/checkout@v5
       - name: "Install dependencies"
         run: make install
       - run: racket -y infra/ci.rkt --precision ${{ matrix.precision }} --seed 0 bench/hamming/

.github/workflows/unit-test.yml

@@ -13,15 +13,15 @@ jobs:
       - name: "Install Packages"
         run: sudo apt-get install -y libmpfr6 libmpfr-dev
       - name: "Install Racket"
-        uses: Bogdanp/setup-racket@v1.11
+        uses: Bogdanp/setup-racket@v1.14
         with:
-          version: "8.14"
+          version: "8.18"
       - name: Install Rust compiler
         uses: dtolnay/rust-toolchain@stable
         with:
             toolchain: stable
             components: rustfmt, clippy
-      - uses: actions/checkout@master
+      - uses: actions/checkout@v5
       - name: "Install dependencies"
         run: make install
       # SoftPosit is required to test the softposit platform we use for testing
@@ -68,7 +68,7 @@ jobs:
       - run: cd egg-herbie && raco test ./
 
       # Test the API
-      - uses: actions/setup-node@v4
+      - uses: actions/setup-node@v6
         with:
           node-version: 20
       - name: "Test the endpoint"