summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorBlaž Hrastnik2021-05-30 08:12:29 +0000
committerBlaž Hrastnik2021-05-30 08:12:29 +0000
commita3a9502596631cfc33b5339610175ea1a07adf53 (patch)
tree92563a75c274157c8a0b0b548e23c5d626d1edeb /.github/workflows
parent3810650a6bde441ce946a6983e6c46d423e12724 (diff)
Add a github pages auto-build action.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/gh-pages.yml27
1 files changed, 27 insertions, 0 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
new file mode 100644
index 00000000..970cf82f
--- /dev/null
+++ b/.github/workflows/gh-pages.yml
@@ -0,0 +1,27 @@
+name: Github Pages
+
+on:
+ push:
+ branches:
+ - master
+
+jobs:
+ deploy:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v2
+
+ - name: Setup mdBook
+ uses: peaceiris/actions-mdbook@v1
+ with:
+ mdbook-version: 'latest'
+ # mdbook-version: '0.4.8'
+
+ - run: mdbook build book
+
+ - name: Deploy
+ uses: peaceiris/actions-gh-pages@v3
+ if: github.ref == 'refs/heads/master'
+ with:
+ github_token: ${{ secrets.GITHUB_TOKEN }}
+ publish_dir: ./book/book