From 6ff82c4430d305c7f9061ce369c82e1d6c8eb26c Mon Sep 17 00:00:00 2001 From: Dylan Reimerink Date: Sun, 15 Sep 2024 14:39:12 +0200 Subject: [PATCH] .github: Add deploy action for gh-pages This action will build the docs and deploy them to the `gh-pages` branch on push to the `master` branch. Github Pages will pickup and host the docs from the `gh-pages` branch. Signed-off-by: Dylan Reimerink --- .github/workflows/deploy-gh-pages.yaml | 47 ++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 .github/workflows/deploy-gh-pages.yaml diff --git a/.github/workflows/deploy-gh-pages.yaml b/.github/workflows/deploy-gh-pages.yaml new file mode 100644 index 00000000..80a9e2c2 --- /dev/null +++ b/.github/workflows/deploy-gh-pages.yaml @@ -0,0 +1,47 @@ +name: Deploy GH pages + +on: + push: + branches: + - master + +env: + USER: root + +jobs: + deploy-gh-pages: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - name: Cache Primes + id: cache-plugins + uses: actions/cache@v4 + with: + path: .cache + key: cache-plugins + - name: Checkout gh-pages branch + run: | + git branch --delete --force gh-pages || true + git checkout -b gh-pages + - name: Apply deploy config + run: | + echo "" >> mkdocs.yml + echo "site_url: https://isovalent.github.io" >> mkdocs.yml + echo "" >> mkdocs.yml + echo "extra:" >> mkdocs.yml + echo " analytics:" >> mkdocs.yml + echo " provider: google" >> mkdocs.yml + echo " property: G-KVJ1CK539N" >> mkdocs.yml + - name: Build html + run: | + make html PROD=true GH_TOKEN=${{ secrets.GITHUB_TOKEN }} + - name: Deploy to gh-pages + run: | + rm out/.gitignore || true + git config --global user.email "bot@github.com" + git config --global user.name "GH Deploy Action" + git add -f out/. + git commit -m "Deploy to gh-pages" + git push -f --set-upstream origin gh-pages + +