Update julia versions in CI (#915)

oscar-system · Jul 13, 2023 · 2bc498a · 2bc498a
1 parent 43288a5
commit 2bc498a
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -26,16 +26,16 @@ jobs:
       matrix:
         julia-version:
           - '1.6'
-          - '1.8'
-          - '~1.9.0-0'
+          - '1.9'
+          - '~1.10.0-0'
           - '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.8'
+          - julia-version: '1.9'
             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.8.0-0'
+        version: '~1.9.0-0'
     - name: OscarDevTools - CI
       if: github.repository == 'oscar-system/OscarDevTools.jl'
       run: |
@@ -106,7 +106,7 @@ jobs:
           echo '${{ env.oscar_run_tests }}'
           julia --color=yes --project=oscar-dev/project/ -e '${{ env.oscar_run_tests }}'
       - name: "Run doctests"
-        if: steps.setupdev.outputs.skiptests != 'true' && (matrix.julia-version == '~1.8.0-0' || matrix.julia-version == '1.8')
+        if: steps.setupdev.outputs.skiptests != 'true'
         run: |
           echo '${{ env.oscar_run_doctests }}'
           julia --color=yes  --project=oscar-dev/project/ -e '${{ env.oscar_run_doctests }}'