Merge remote-tracking branch 'origin/main' into main

JuliaGeodynamics · May 29, 2023 · 9304dc1 · 9304dc1
2 parents 9e8bbc6 + a16b27a
commit 9304dc1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml
@@ -14,9 +14,8 @@ jobs:
       fail-fast: false
       matrix:
         version:
-          - '1.7'
           - '1.8'
-          - 'nightly'
+          - '1.9'
         os:
           - ubuntu-latest
           - macOS-latest

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -14,7 +14,7 @@ jobs:
       - uses: actions/checkout@v3
       - uses: julia-actions/setup-julia@latest
         with:
-          version: '1.7'
+          version: '1.9'
       - name: Install dependencies
         run: julia --project=docs/ -e 'using Pkg; Pkg.build(); Pkg.develop(PackageSpec(path=pwd()));  Pkg.instantiate()'
       - name: Build and deploy