Merge pull request #76 from JuliaReach/schillic/slim

Use `ubuntu-slim` in CI

Author: schillic

.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

.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

.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

.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: ''

.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

.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: ''

.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

.github/workflows/test-master.yml

@@ -23,7 +23,7 @@ jobs:
         version:
           - '1'
         os:
-          - ubuntu-latest
+          - ubuntu-slim
         arch:
           - x64
     env:

.github/workflows/test-pull-request.yml

@@ -21,14 +21,13 @@ jobs:
         version:
           - '1'
         os:
-          - ubuntu-latest
-          - windows-latest
+          - ubuntu-slim
         arch:
           - x64
         include:
           - version: '1.2'  # test on oldest supported version
             arch: x64
-            os: ubuntu-latest
+            os: ubuntu-slim
     env:
       JULIA_PKG_SERVER: ''
     steps: