commit be50d49a1de3579494650ceb3cad0f04719b087f
author Copybara bot <copybara-bot@avm99963.com> Thu Nov 30 00:16:42 2023 +0100
committer Copybara bot <copybara-bot@avm99963.com> Thu Nov 30 00:28:27 2023 +0100
tree ae339ad03f9d5f6ea245ddf4b41550503c0a56be

Project import generated by Copybara.

GitOrigin-RevId: 63746295f1a5ab5a619056791995793d65529e62

.github/workflows/build.yml

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
new file mode 100644
index 0000000..eb687b7
--- /dev/null
+++ b/.github/workflows/build.yml
@@ -0,0 +1,20 @@
+name: Publish docs via GitHub Pages
+on:
+  push:
+    branches:
+      - master
+    paths:
+      - 'docs/**'
+
+jobs:
+  build:
+    name: Deploy docs
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout master
+        uses: actions/checkout@v1
+
+      - name: Deploy docs
+        uses: mhausenblas/mkdocs-deploy-gh-pages@master
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}