Enable Deployment in GitHub Pages

Switch to using a github action to deploy pages.
iwillspeak · Jun 28, 2022 · 74ca575 · 74ca575
1 parent f399105
commit 74ca575
Show file tree

Hide file tree

Showing 3 changed files with 37 additions and 0 deletions.
diff --git a/.github/workflows/github-actions-pages.yml b/.github/workflows/github-actions-pages.yml
@@ -0,0 +1,34 @@
+name: Build Docs
+
+on: [push]
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+env:
+  CARGO_TERM_COLOR: always
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - name: Install Docket
+      run: cargo install docket --no-default-features --features syntect-hl 
+    - name: Run Docket
+      run: docket -s docs -t _site
+    - name: Push artifact
+      uses: actions/upload-pages-artifact@v0
+  deploy:
+    name: Deploy
+    runs-on: ubuntu-latest
+    needs: build
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+      - name: Deploy GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v1
diff --git a/.gitignore b/.gitignore
@@ -24,3 +24,5 @@ bin/
 
 # TODO file
 TODO.md
+
+docs-rendered
diff --git a/CNAME b/CNAME
@@ -0,0 +1 @@
+docs.feersum-scheme.net
Original file line number	Diff line number	Diff line change
Expand Up		@@ -24,3 +24,5 @@ bin/

		# TODO file
		TODO.md

		docs-rendered