From 42aa14e895348c3c8cc76558e4c69e1f174e904d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Sun, 31 Dec 2023 00:38:46 +0100
Subject: [PATCH] Use julia 1.10 as default in CI

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

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index f3367a63b..9659e66aa 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -24,8 +24,8 @@ 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
@@ -53,7 +53,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
@@ -76,7 +76,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: julia-actions/setup-julia@v1
         with:
-          version: '1.9'
+          version: '1.10'
       - name: "Cache artifacts"
         uses: julia-actions/cache@v1
       - name: "Build package"
diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
index 0da3894e8..78ed041d3 100644
--- a/.github/workflows/oscar.yml
+++ b/.github/workflows/oscar.yml
@@ -28,7 +28,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: |