From 69c4846291ffbc2aef416530aba9f4debaa5999f Mon Sep 17 00:00:00 2001
From: Richard Pospesel <richard@torproject.org>
Date: Sun, 2 Jul 2023 17:08:42 +0000
Subject: [PATCH] build: add pages workflow to deploy docs to github pages

---
 .github/workflows/pages.yml | 39 +++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 .github/workflows/pages.yml

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
new file mode 100644
index 00000000..f0bd301e
--- /dev/null
+++ b/.github/workflows/pages.yml
@@ -0,0 +1,39 @@
+name: pages
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Gosling
+        uses: actions/checkout@v3
+        with:
+          submodules: true
+      - name: Install Dependencies
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y libboost-all-dev
+          cargo install tarpaulin
+          sudo apt-get install -y doxygen
+      - name: Build Docs
+        run: |
+          make docs
+      - name: Build Code Coverage
+        run: |
+          make coverage-offline
+      - name: Move Outputs
+        run: |
+          mkdir pages
+          mv out/release/gosling/crates/gosling-ffi/html pages/libcgosling
+          mv out/release/gosling/crates/doc pages/gosling
+          mv out/release/gosling/tarpaulin-offline pages/coverage
+          ln -s tarpaulin-report.html pages/coverage/index.html
+      - name: Deploy to Github Pages
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: pages