From ebcaa0dff082a85f59d403d693cb76bc6a55fdc7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Tue, 9 Jan 2024 19:19:35 +0100
Subject: [PATCH] Use julia 1.10 as default in CI (#1543)

---
 .github/workflows/CI.yml    | 12 ++++++------
 .github/workflows/oscar.yml |  2 +-
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 2d7530ce31..436114009e 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -23,16 +23,16 @@ jobs:
       matrix:
         julia-version:
           - '1.6'
-          - '1.9'
-          - '~1.10.0-0'
+          - '1.9'   # to be removed in the near future
+          - '1.10'
           - 'nightly'
         os:
           - ubuntu-latest
         include:
           # Add a few windows and macOS jobs (not too many, the number we can run in parallel is limited)
-          - julia-version: '1.9'
+          - julia-version: '1.10'
             os: macOS-latest
-          - julia-version: '1.9'
+          - julia-version: '1.10'
             os: windows-latest
 
     steps:
@@ -54,7 +54,7 @@ jobs:
         with:
           depwarn: error
       - name: "Run doctests"
-        if: ${{ matrix.julia-version == '1.9' }}
+        if: ${{ matrix.julia-version == '1.10' }}
         run: |
           julia --project=docs --color=yes --code-coverage -e '
             using Pkg
@@ -77,7 +77,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: julia-actions/setup-julia@v1
         with:
-          version: '1.9'
+          version: '1.10'
       - uses: julia-actions/cache@v1
       - uses: julia-actions/julia-buildpkg@v1
       - uses: julia-actions/julia-docdeploy@v1
diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
index 830cf736e2..9a95e0fb39 100644
--- a/.github/workflows/oscar.yml
+++ b/.github/workflows/oscar.yml
@@ -29,7 +29,7 @@ jobs:
     - name: "Set up Julia"
       uses: julia-actions/setup-julia@v1
       with:
-        version: '~1.9.0-0'
+        version: '1.10'
     - name: OscarDevTools - CI
       if: github.repository == 'oscar-system/OscarDevTools.jl'
       run: |