Skip to content

Fix copyright to trigger dependency graph update #12

Fix copyright to trigger dependency graph update

Fix copyright to trigger dependency graph update #12

Workflow file for this run

name: Build site
on:
push:
branches:
- 'src'
jobs:
deploy:
name: Build and deploy documentation
runs-on: ubuntu-20.04
steps:
- name: Checkout
uses: actions/checkout@v2
- name: Download and install mdBook
run: curl -L -o mdbook.tar.gz https://github.com/rust-lang-nursery/mdBook/releases/download/v$MDBOOK_VERSION/mdbook-v$MDBOOK_VERSION-x86_64-unknown-linux-gnu.tar.gz && tar -C $HOME/.cargo/bin/ -zvxf mdbook.tar.gz
env:
MDBOOK_VERSION: 0.4.7
- run: mdbook build
- run: mdbook test
- name: Deploy
uses: JamesIves/github-pages-deploy-action@4.0.0
with:
branch: master # The branch the action should deploy to.
folder: book # The folder the action should deploy.