diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml index b69ea43e9c..adcf6a8789 100644 --- a/.github/workflows/website.yml +++ b/.github/workflows/website.yml @@ -10,8 +10,11 @@ permissions: contents: write jobs: - website: + build: runs-on: ubuntu-latest + defaults: + run: + working-directory: docs steps: - name: Checkout code uses: actions/checkout@v4 @@ -26,15 +29,23 @@ jobs: run: pip install pipenv - name: Install dependencies run: pipenv sync - working-directory: docs - - name: Update website - run: scripts/update-website - - name: Commit changes - run: | - if ! git diff --quiet; then - git add --all - git config user.name 'github-actions[bot]' - git config user.email 'github-actions[bot]@users.noreply.github.com' - git commit -m 'Update website' - git push origin gh-pages - fi + - name: Build website + run: pipenv run python3 build_website.py + - uses: actions/upload-pages-artifact@v3 + with: + path: docs/output/ + + deploy: + needs: build + permissions: + contents: read + pages: write + id-token: write + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest + steps: + - name: Deploy to GitHub Pages + uses: actions/deploy-pages@v4 + id: deployment diff --git a/scripts/update-website b/scripts/update-website deleted file mode 100755 index a99ffc18e1..0000000000 --- a/scripts/update-website +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/bash - -# This script builds the website from the docs directory of -# the current branch and copies it over to the gh-pages -# branch. - -set -eux -shopt -s dotglob - -# build website -scriptdir=$(dirname "$0") -cd "$scriptdir"/../docs -rm -rf output -mkdir output -pipenv run python3 build_website.py -cd .. - -# copy to /tmp -tmpdir=$(mktemp -d -t jq.website.XXXXXXXXXX) -cp -r docs/output/* "$tmpdir" -cp .gitignore "$tmpdir" - -# copy to gh-pages -git checkout gh-pages -cp -r "$tmpdir"/* . -cp "$tmpdir"/.gitignore . - -# clean up -rm -rf "$tmpdir" -echo SUCCESS