From 77cc3a0b6cb3acb2f0abd3d69e4e47a16928e07a Mon Sep 17 00:00:00 2001 From: John Lotoski Date: Wed, 22 Nov 2023 19:17:59 -0600 Subject: [PATCH] wip: docs update GHA --- .github/workflows/main.yml | 19 +++++++++++++++++++ scripts/update-docs.nix | 15 ++++++++++----- 2 files changed, 29 insertions(+), 5 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 130dd03..8424ec4 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -26,6 +26,25 @@ jobs: nix-build -A maintainer-scripts.update-docs -o update-docs.sh ./update-docs.sh + update-docs-test: + name: Test + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v2 + + - name: Install Nix + uses: cachix/install-nix-action@v20 + with: + extra_nix_config: | + trusted-public-keys = hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= + substituters = https://cache.iog.io https://cache.nixos.org/ + + - name: Run nix-build + run: | + nix-build -A maintainer-scripts.update-docs -o update-docs.sh + ./update-docs.sh + check-stylish-haskell: name: Check Stylish Haskell runs-on: ubuntu-latest diff --git a/scripts/update-docs.nix b/scripts/update-docs.nix index 27461a6..c43310a 100644 --- a/scripts/update-docs.nix +++ b/scripts/update-docs.nix @@ -18,12 +18,14 @@ in #!${stdenv.shell} set -euo pipefail + set -x export PATH="${makeBinPath [ coreutils glibc git openssh gnused mkdocs pandocOrgMdFilter pandoc ]}" source ${./git.env} - rev=$(git rev-parse --short HEAD) + BRANCH=$(git rev-parse --abbrev-ref HEAD) + REV=$(git rev-parse --short HEAD) cd $(git rev-parse --show-toplevel) echo "Preprocessing..." @@ -45,9 +47,12 @@ in GIT_WORK_TREE=$(pwd)/site git add -A check_staged echo "Committing changes..." - git commit --no-gpg-sign --message "Update gh-pages for $rev" + git commit --no-gpg-sign --message "Update gh-pages for $REV" - # if [ "''${BUILDKITE_BRANCH:-}" = master ]; then - # git push ${repo} HEAD:gh-pages - # fi + git diff HEAD~..HEAD + + if [ "$BRANCH" = master ]; then + echo "Would push" + # git push ${repo} HEAD:gh-pages + fi '')