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