Skip to content

Merge branch 'master' into develop #148

Merge branch 'master' into develop

Merge branch 'master' into develop #148

Workflow file for this run

name: Generate ebook
on: ['push']
jobs:
ebook:
name: Build and upload
runs-on: ubuntu-latest
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Setup .NET
uses: actions/setup-dotnet@v4
with:
dotnet-version: 6.0.x
- name: Restore dependencies
run: dotnet restore
- name: Build
run: dotnet build --configuration Release --no-restore
- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.35'
- name: Setup nodejs
uses: actions/setup-node@v4
with:
node-version: '18'
- name: Setup linter and spellchecker cli
run: npm install --location=global markdownlint-cli cspell
- name: Lint markdown files
run: markdownlint src/**/*.md
- name: Run spellcheck
run: cspell src/**/*.md
- name: Build the book
run: mdbook build
- name: Deploy to Github Pages
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/master' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book