Skip to content
Publish Documentation

[documentation] Updated the JDK version in de documentation #26

Sign in to view logs

[documentation] Updated the JDK version in de documentation

[documentation] Updated the JDK version in de documentation #26

Workflow file for this run

.github/workflows/documentation.yml at 10cb118
name: Publish Documentation
on:
push:
branches:
- documentation
jobs:
build:
name: Check materials and publish if tagged
runs-on: ubuntu-latest
steps:
- name: Fetch source code
uses: actions/checkout@v2
- name: Check links in markdown
uses: gaurav-nelson/github-action-markdown-link-check@v1
with:
folder-path: 'docs/'
- name: Run mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: "latest"
- run: |
mdbook build
- name: Publish book website
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/docs
keep_files: false