2020-03-03 15:01:25 +01:00
|
|
|
name: github pages
|
|
|
|
|
|
|
|
on:
|
|
|
|
push:
|
2020-03-03 15:44:01 +01:00
|
|
|
tags:
|
|
|
|
- '*'
|
2020-03-03 15:01:25 +01:00
|
|
|
|
|
|
|
jobs:
|
|
|
|
deploy:
|
2023-07-28 15:13:50 +02:00
|
|
|
runs-on: ubuntu-latest
|
2020-03-03 15:01:25 +01:00
|
|
|
steps:
|
2020-03-03 15:44:01 +01:00
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
2020-03-03 15:01:25 +01:00
|
|
|
- name: Build mdbook
|
2020-03-03 15:44:01 +01:00
|
|
|
run: cargo install mdbook
|
|
|
|
|
2020-08-28 16:45:24 +02:00
|
|
|
- name: Build cargo-readme
|
|
|
|
run: cargo install cargo-readme
|
|
|
|
|
|
|
|
- name: Build README.md
|
|
|
|
run: cargo readme > README.md
|
|
|
|
|
2020-03-03 15:01:25 +01:00
|
|
|
- name: Build
|
|
|
|
run: mdbook build
|
|
|
|
|
|
|
|
- name: Deploy
|
|
|
|
uses: peaceiris/actions-gh-pages@v3
|
|
|
|
with:
|
|
|
|
deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
|
|
|
|
publish_dir: ./book
|