From f98227ce3838717fde81fff298548e13507fc8f9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Mon, 10 Jul 2023 13:05:48 +0200 Subject: [PATCH] Update julia versions in CI --- .github/workflows/CI.yml | 6 +++--- .github/workflows/oscar.yml | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 5600efad9..f0912b716 100644 --- 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 index 82d67d5e8..0da3894e8 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.8.0-0' + version: '~1.9.0-0' - name: OscarDevTools - CI if: github.repository == 'oscar-system/OscarDevTools.jl' run: |