Use julia 1.10 as default in CI

oscar-system · Dec 30, 2023 · ca14f43 · ca14f43
1 parent fa799e9
commit ca14f43
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -26,16 +26,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'
         julia-arch:
           - x64
         os:
           - ubuntu-latest
         include:
           # Add a few macOS jobs (not too many, the number we can run in parallel is limited)
-          - julia-version: '1.9'
+          - julia-version: '1.10'
             julia-arch: x64
             os: macOS-latest
           - julia-version: 'nightly'

diff --git 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: |