Merge pull request #67 from AlessandroBregoli/65-meta-add-documentation-build-in-github-workflows

Added docs generation in GitHub Workflows
pull/70/head
Meliurwen 2 years ago committed by GitHub
commit 1cad41f7f4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 7
      .github/workflows/build.yml

@ -22,7 +22,7 @@ jobs:
profile: minimal
toolchain: stable
default: true
components: clippy, rustfmt
components: clippy, rustfmt, rust-docs
- name: Setup Rust nightly
uses: actions-rs/toolchain@v1
with:
@ -30,6 +30,11 @@ jobs:
toolchain: nightly
default: false
components: rustfmt
- name: Docs (doc)
uses: actions-rs/cargo@v1
with:
command: rustdoc
args: --package reCTBN -- --default-theme=ayu
- name: Linting (clippy)
uses: actions-rs/clippy-check@v1
with:

Loading…
Cancel
Save