Merge branch 'main' into hr/serre_green_naghdi

JoshuaLampert · Aug 18, 2024 · 849d405 · 849d405
2 parents 021e420 + 2d6a6b8
commit 849d405
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -44,13 +44,17 @@ jobs:
       fail-fast: false
       matrix:
         version:
-          - '1.9'
+          - '1.10'
         os:
           - ubuntu-latest
           - macos-latest
           - windows-latest
         arch:
           - x64
+        include:
+          - version: '1.9'
+            os: ubuntu-latest
+            arch: x64
     steps:
       - uses: actions/checkout@v4
       - uses: julia-actions/setup-julia@v2