Merge pull request #266 from JaxGaussianProcesses/ci_fix

Update CI
JaxGaussianProcesses · May 17, 2023 · 5874149 · 5874149
2 parents 465fdfe + 5cc086b
commit 5874149
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml
@@ -5,9 +5,12 @@ on:
     branches:
       - main
 
+permissions:
+  contents: write
+
 jobs:
   build:
-    # Functionality for testing documentation builds on multiple OSes and Python versions
+    concurrency: ci-${{ github.ref }}
     name: Build docs (${{ matrix.python-version }}, ${{ matrix.os }})
     runs-on: ${{ matrix.os }}
     defaults:

diff --git a/.github/workflows/test_docs.yml b/.github/workflows/test_docs.yml
@@ -2,15 +2,15 @@ name: Test documentation
 
 on:
   pull_request:
-  push:
-    branches:
-      - main
 
 jobs:
   build:
     # Functionality for testing documentation builds on multiple OSes and Python versions
     name: Build docs (${{ matrix.python-version }}, ${{ matrix.os }})
     runs-on: ${{ matrix.os }}
+    concurrency:
+      group: ${{ github.head_ref }}
+      cancel-in-progress: true
     defaults:
       run:
         shell: bash -l {0}