From af633ad0639f4f3ec186ef996eed3896dced593b Mon Sep 17 00:00:00 2001 From: Morten Piibeleht Date: Wed, 29 Oct 2025 10:56:54 +0200 Subject: [PATCH] ci: use JET 0.9 with Julia 1.11 --- .github/workflows/CI.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 8ce34057c..4af302199 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -7,7 +7,7 @@ on: tags: ["*"] pull_request: schedule: - - cron: '0 0 * * 1' # runs 00:00 UTC on every Monday + - cron: "0 0 * * 1" # runs 00:00 UTC on every Monday concurrency: # Skip intermediate builds: always. @@ -92,7 +92,7 @@ jobs: - uses: actions/checkout@v5 - uses: julia-actions/setup-julia@v2 with: - version: "1" + version: "1.11" - name: "Install dependencies" shell: julia --color=yes {0} run: | @@ -114,8 +114,8 @@ jobs: name: Documentation runs-on: ubuntu-latest permissions: - pull-requests: read # Required when using `push_preview=true` - statuses: write # Optional, used to report documentation build statuses + pull-requests: read # Required when using `push_preview=true` + statuses: write # Optional, used to report documentation build statuses steps: - uses: actions/checkout@v5 - uses: julia-actions/setup-julia@v2