Update Documentation.yml

control-toolbox · Aug 27, 2024 · 37f8491 · 37f8491
1 parent 4c48e34
commit 37f8491
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
@@ -5,6 +5,8 @@ on:
   push:
     branches:
       - main
+    branches-ignore:
+      - breakage-applications
     tags: '*'
   pull_request:
 
@@ -22,4 +24,4 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
           GKSwstype: 100 # To make GitHub Action work, disable showing a plot window with the GR backend of the Plots package
-        run: julia --project=docs/ -e 'ENV["GKSwstype"]="nul" ; include("docs/make.jl")'
+        run: julia --project=docs/ -e 'ENV["GKSwstype"]="nul" ; include("docs/make.jl")'