Automatically deploy the book

.github/workflows/ci.yml

@@ -4,9 +4,10 @@ on:
   push:
     branches:
       - main
-  pull_request:
-    branches:
-      - main
+  # TODO(debug): Enable back before merge.
+  # pull_request:
+  #   branches:
+  #     - main
   schedule:
     - cron: 45 3 * * 2 # every Tuesday at 3:45 UTC
 
@@ -42,6 +43,5 @@ jobs:
             target/
           key: ${{ hashFiles('rust-toolchain.toml') }}-${{ hashFiles('**/Cargo.lock') }}
           restore-keys: ${{ hashFiles('rust-toolchain.toml') }}
-      - run: sudo apt-get update
       - run: ./scripts/setup.sh
       - run: ./scripts/ci.sh

.github/workflows/pages.yml

@@ -0,0 +1,25 @@
+name: Deploy Github Pages
+
+on:
+  push:
+    branches:
+      - main
+  # TODO(debug): Remove before merge.
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  pages:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+      - run: ./scripts/setup.sh
+      - run: git config --global user.name 'Julien Cretin'
+      - run: git config --global user.email [email protected]
+      - run: ./scripts/pages.sh
+      - run: git push -f origin gh-pages:test-pages

scripts/pages.sh

@@ -19,11 +19,14 @@ set -e
 # This script synchronizes the gh-pages branch from a clean main.
 
 [ -z "$(git status -s)" ] || e 'not clean'
-[ "$(git symbolic-ref -q HEAD)" = refs/heads/main ] || e 'not main'
+[ -n "$CI" -o "$(git symbolic-ref -q HEAD)" = refs/heads/main ] || e 'not main'
+COMMIT="$(git rev-parse -q --verify HEAD)"
+[ -n "$COMMIT" ] || e 'failed to get commit hash'
 
 git diff --quiet "$(git log --pretty=format:%f origin/gh-pages)".. -- book \
   && d "origin/gh-pages is already up-to-date"
 
+WASEFIRE_WRAPPER_EXEC=n ./scripts/wrapper.sh mdbook
 ( cd book
   ../scripts/wrapper.sh mdbook build 2>/dev/null )
 mv book/book html
@@ -32,9 +35,9 @@ git show-ref -q --verify refs/heads/gh-pages && git branch -qD gh-pages
 git checkout -q --orphan gh-pages
 git rm -qrf .
 git clean -qfxde/html
-mv html/* html/.* .
+find html -mindepth 1 -maxdepth 1 -exec mv {} . \;
 rmdir html
 git add .
-git commit -qm"$(git rev-parse -q --verify main)"
+git commit -qm"$COMMIT"
 git checkout -q main
 d "gh-pages has been updated"