diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-05 18:49:59 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-05 18:49:59 +0000 |
| commit | 5794cb75a75ffa80103c792635437c7d8b1df935 (patch) | |
| tree | 51d09036d7f2cd2fb2cfa3e6e300682027510e1b /.github | |
| parent | 29d10766d34aac03d7f7897c94a0891e02b2fab8 (diff) | |
| parent | da1b31d95af9557020889917ea8a014091a44418 (diff) | |
Merge #370
370: Use latest mdBook r=korken89 a=AfoHT
Test to see if latest mdBook works with current formatting, see #369
Co-authored-by: Henrik Tjäder <henrik@tjaders.com>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 5a47a75..8da9867 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -608,7 +608,7 @@ jobs: - name: mdBook Action uses: peaceiris/actions-mdbook@v1.1.11 with: - mdbook-version: '0.3.1' + mdbook-version: 'latest' - name: Build book in English run: cd book/en && mdbook build @@ -663,8 +663,7 @@ jobs: - name: mdBook Action uses: peaceiris/actions-mdbook@v1.1.11 with: - mdbook-version: '0.3.1' - # mdbook-version: 'latest' + mdbook-version: 'latest' - name: Remove cargo-config run: rm -f .cargo/config |