From 0032175f7ff5ebe9cc7b5fcd8341339cb0fb0f5d Mon Sep 17 00:00:00 2001
From: timmyfaraday <van_acker_tom@me.com>
Date: Wed, 31 Jan 2024 16:35:00 +0100
Subject: [PATCH] retry documentation building

---
 .github/workflows/Documentation.yml       | 28 --------------
 .github/workflows/DocumentationDeploy.yml | 47 -----------------------
 .github/workflows/docs.yml                | 26 +++++++++++++
 3 files changed, 26 insertions(+), 75 deletions(-)
 delete mode 100644 .github/workflows/Documentation.yml
 delete mode 100644 .github/workflows/DocumentationDeploy.yml
 create mode 100644 .github/workflows/docs.yml

diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
deleted file mode 100644
index a08403a..0000000
--- a/.github/workflows/Documentation.yml
+++ /dev/null
@@ -1,28 +0,0 @@
-name: Documentation
-
-on:
-  push:
-    branches: 
-      - main
-    tags: '*'
-  pull_request:
-    types: [opened, synchronize, reopened]
-
-jobs:
-  build:
-    permissions:
-      contents: write
-      statuses: write
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: julia-actions/setup-julia@v1
-        with:
-          version: '1'
-      - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
-      - name: Build and deploy
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
-        run: julia --project=docs/ docs/make.jl
diff --git a/.github/workflows/DocumentationDeploy.yml b/.github/workflows/DocumentationDeploy.yml
deleted file mode 100644
index 26a3416..0000000
--- a/.github/workflows/DocumentationDeploy.yml
+++ /dev/null
@@ -1,47 +0,0 @@
-# Simple workflow for deploying static content to GitHub Pages
-name: Deploy Documentation to Pages
-
-on:
-  # Runs on pushes targeting the default branch
-  workflow_run:
-    workflows: ["Documentation"]
-    types:
-      - completed
-
-  # Allows you to run this workflow manually from the Actions tab
-  workflow_dispatch:
-
-# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
-permissions:
-  contents: read
-  pages: write
-  id-token: write
-
-# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
-# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
-concurrency:
-  group: "pages"
-  cancel-in-progress: false
-
-jobs:
-  # Single deploy job since we're just deploying
-  deploy:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4
-        with:
-          ref: gh-pages
-      - name: Setup Pages
-        uses: actions/configure-pages@v4
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
-        with:
-          # Upload entire repository
-          path: '.'
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v4
\ No newline at end of file
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
new file mode 100644
index 0000000..c872479
--- /dev/null
+++ b/.github/workflows/docs.yml
@@ -0,0 +1,26 @@
+name: Documentation
+
+on:
+  push:
+    branches: [main]
+    tags: '*'
+  pull_request:
+    types: [opened, synchronize, reopened]
+
+jobs:
+  docs:
+    if: "!contains(github.event.head_commit.message, 'skip ci')"
+    name: Documentation
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: julia-actions/setup-julia@latest
+        with:
+          version: '1'
+      - name: Install Dependencies
+        run: julia --project=docs -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
+      - name: Build and Deploy
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
+        run: julia --project=docs docs/make.jl
\ No newline at end of file