blob: c70b87dfc67c0ed9e8c3fbdee7e57c92b33b4276 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
name: mdbook publish
on:
push:
branches:
- main
pull_request:
jobs:
deploy:
runs-on: ubuntu-latest
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v4
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v2
with:
# mdbook-version: '0.4.10'
mdbook-version: "latest"
- run: cargo install mdbook-alerts
- run: cargo install mdbook-indexing
- run: cargo install mdbook-footnote
- run: cargo install mdbook-pagetoc
- run: mdbook build -d ./book docs
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/book
destination_dir: ./ref
|
