ci: add mdbook workflow

Signed-off-by: Burgess Chang <[email protected]>

.github/workflows/page.yaml

@@ -0,0 +1,49 @@
+name: Generate page
+
+on:
+  push:
+    paths:
+      - 'doc/**'
+  workflow_call:
+  workflow_dispatch:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  mdbook:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+
+      - name: Setup Nix
+        uses: nixbuild/nix-quick-install-action@v26
+        with:
+          github_access_token: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Generate pages
+        run: |
+          nix develop  .#ci
+	  nix run nixpkgs#mdbook -- build
+
+      - name: Copy book to page branch
+        run: |
+          git checkout page || git checkout --orphan page
+          find . -mindepth 1 -maxdepth 1 ! -name 'result-book' ! -name '.git' -exec rm -rf {} +
+          mv result-book/* ./
+          rm result-book -r
+          git add .
+
+      - name: Push book
+        uses: stefanzweifel/git-auto-commit-action@v5
+        with:
+          branch: page
+          commit_message: "docs: auto update"
+          commit_author: Burgess Chang <[email protected]>
+          commit_user_name: github-actions[bot]
+          commit_user_email:  github-actions[bot]@users.noreply.github.com

flake.nix

@@ -20,13 +20,6 @@
       "colmena.cachix.org-1:7BzpDnjjH8ki2CT3f6GdOk7QAzPOl+1t3LvTLXqYcSg="
       "nix-community.cachix.org-1:mB9FSh9qf2dCimDSUo8Zy7bkq5CX+/rkCWyvRCYg3Fs="
     ];
-
-    substituters = [
-      "https://mirrors.cernet.edu.cn/nix-channels/store"
-      "https://mirror.nju.edu.cn/nix-channels/store"
-      "https://mirror.sjtu.edu.cn/nix-channels/store"
-      "https://cache.nixos.org"
-    ];
   };
 
   # Home Manager
@@ -172,6 +165,9 @@
         nixpkgs = {
           follows = "nixpkgs";
         };
+        paisano = {
+          follows = "std/paisano";
+        };
         std = {
           follows = "std";
         };

nix/local/devshells.nix

@@ -7,12 +7,17 @@ let
   pkgs = nixpkgs;
 in
 {
+  ci = std.lib.dev.mkShell {
+    name = "ci";
+    nixago = with cell.nixago; [ mdbook ];
+  };
+
   default = std.lib.dev.mkShell {
     commands = [
       # Development
       {
-        package = pkgs.git;
         category = "development";
+        package = pkgs.git;
       }
       {
         category = "development";
@@ -21,20 +26,20 @@ in
 
       # Tool
       {
-        package = colmena.packages.colmena;
         category = "tool";
+        package = colmena.packages.colmena;
       }
       {
-        package = pkgs.dconf2nix;
         category = "tool";
+        package = pkgs.dconf2nix;
       }
       {
-        package = pkgs.fish;
         category = "tool";
+        package = pkgs.fish;
       }
       {
-        package = std.packages.std;
         category = "tool";
+        package = std.packages.std;
       }
     ];