Update julia versions in CI

oscar-system · Jul 10, 2023 · f98227c · f98227c
1 parent c9c973e
commit f98227c
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
@@ -24,8 +24,8 @@ jobs:
  matrix:
  julia-version:
  - '1.6'
- - '1.8'
  - '1.9'
+ - '~1.10.0-0'
  - 'nightly'
  os:
  - ubuntu-latest
@@ -53,7 +53,7 @@ jobs:
  with:
  depwarn: error
  - name: "Run doctests"
- if: ${{ matrix.julia-version == '1.8' }}
+ if: ${{ matrix.julia-version == '1.9' }}
  run: |
  julia --project=docs --color=yes --code-coverage -e '
  using Pkg
@@ -75,7 +75,7 @@ jobs:
  - uses: actions/checkout@v3
  - uses: julia-actions/setup-julia@v1
  with:
- version: '1.8'
+ version: '1.9'
  - name: "Cache artifacts"
  uses: julia-actions/cache@v1
  - name: "Build package"

diff --git 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.8.0-0'
+ version: '~1.9.0-0'
  - name: OscarDevTools - CI
  if: github.repository == 'oscar-system/OscarDevTools.jl'
  run: |