JuliaReach · schillic · Feb 20, 2026 · Feb 16, 2026 · Feb 16, 2026
diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
@@ -6,7 +6,7 @@ on:
   workflow_dispatch:
 jobs:
   CompatHelper:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-slim
     steps:
       - name: Check if Julia is already available
         id: julia_in_path

diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml
@@ -8,7 +8,7 @@ on:
 jobs:
   TagBot:
     if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-slim
     steps:
       - name: Create new release tag
         uses: JuliaRegistries/TagBot@v1

diff --git a/.github/workflows/doc-preview-cleanup.yml b/.github/workflows/doc-preview-cleanup.yml
@@ -6,7 +6,7 @@ on:
   workflow_dispatch:
 jobs:
   doc-preview-cleanup:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-slim
     steps:
       - name: Checkout gh-pages branch
         uses: actions/checkout@v6

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -19,7 +19,7 @@ concurrency:
   cancel-in-progress: true
 jobs:
   build:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-slim
     if: "!contains(github.event.head_commit.message, 'skip ci')"
     env:
       JULIA_PKG_SERVER: ''

diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
@@ -6,7 +6,7 @@ on:
   workflow_dispatch:
 jobs:
   format:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-slim
     steps:
       - name: Check out repository
         uses: actions/checkout@v6

diff --git a/.github/workflows/invalidations.yml b/.github/workflows/invalidations.yml
@@ -12,7 +12,7 @@ concurrency:
   cancel-in-progress: true
 jobs:
   evaluate:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-slim
     if: "!contains(github.event.head_commit.message, 'skip ci')"
     env:
       JULIA_PKG_SERVER: ''

diff --git a/.github/workflows/spell-check.yml b/.github/workflows/spell-check.yml
@@ -9,7 +9,7 @@ concurrency:
   cancel-in-progress: true
 jobs:
   spell-check:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-slim
     if: "!contains(github.event.head_commit.message, 'skip ci')"
     steps:
       - name: Check out repository

diff --git a/.github/workflows/test-master.yml b/.github/workflows/test-master.yml
@@ -23,7 +23,7 @@ jobs:
         version:
           - '1'
         os:
-          - ubuntu-latest
+          - ubuntu-slim
         arch:
           - x64
     env:

diff --git a/.github/workflows/test-pull-request.yml b/.github/workflows/test-pull-request.yml
@@ -22,13 +22,12 @@ jobs:
           - '1'
         os:
           - ubuntu-latest
-          - windows-latest
         arch:
           - x64
         include:
           - version: '1.6'  # test on oldest supported version
             arch: x64
-            os: ubuntu-latest
+            os: ubuntu-slim
     env:
       JULIA_PKG_SERVER: ''
     steps:
-Original file line number
+Diff line change
@@ Expand Up / @@ -23,7 +23,7 @@ jobs: @@
             version:
               - '1'
             os:
-              - ubuntu-latest
+              - ubuntu-slim
             arch:
               - x64
         env:
@@ Expand Down @@