feat(ci): Add whitepaper preview

Signed-off-by: George Cosma <[email protected]>
DLR-FT · Nov 25, 2024 · 400533d · 400533d
1 parent 37b880f
commit 400533d
Show file tree

Hide file tree

Showing 2 changed files with 62 additions and 0 deletions.
diff --git a/.github/workflows/pages_whitepaper_preview.yaml b/.github/workflows/pages_whitepaper_preview.yaml
@@ -0,0 +1,46 @@
+name: Whitepaper Preview Deploy
+
+on:
+  # When a PR is merged (or force push to main)
+  pull_request:
+    types:
+      - opened
+      - reopened
+      - synchronize
+      - closed
+    paths:
+      - "whitepaper/**/"
+      - ".github/workflows/pages_whitepaper_preview.yaml"
+
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: write
+  pull-requests: write
+
+concurrency: preview-${{ github.ref }}
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: true
+      # -=-=-=-= Strictdoc =-=-=-=-
+      - uses: cachix/install-nix-action@v27
+        with:
+          github_access_token: ${{ secrets.GITHUB_TOKEN }}
+      - uses: cachix/cachix-action@v14
+        with:
+          name: dlr-ft
+          authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
+      - run: nix build .?submodules=1#whitepaper --print-build-logs
+
+      - run: mkdir output && cp ./result ./output/whitepaper.pdf && cp ./whitepaper/index.html ./output/index.html
+
+      # -=-=-=-= Deploy =-=-=-=-
+      - name: Deploy Preview
+        uses: rossjrw/[email protected]
+        with:
+          source-dir: output/
+          umbrella-dir: whitepaper/pr-preview
diff --git a/whitepaper/index.html b/whitepaper/index.html
@@ -0,0 +1,16 @@
+<!doctype html>
+<html>
+  <head>
+    <meta http-equiv="refresh" content="0; url=./whitepaper.pdf" />
+    <meta charset="UTF-8" />
+    <title>Wasm Interpreter Whitepaper</title>
+    <script type="text/javascript">
+      window.location.href = "./whitepaper.pdf";
+    </script>
+  </head>
+
+  <body>
+    If you are seeing this page, follow this link
+    <a href="./whitepaper.pdf">to the whitepaper</a>.
+  </body>
+</html>