Skip to content

Merge pull request #97 from abh1nav10/remove-small-rng-feature #51

Merge pull request #97 from abh1nav10/remove-small-rng-feature

Merge pull request #97 from abh1nav10/remove-small-rng-feature #51

Workflow file for this run

name: github pages
on:
push:
branches:
- master
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v6
- uses: jontze/action-mdbook@6c0be56d14c4bf16861b00af61f50ff7400ce502 # v4
with:
token: ${{secrets.GITHUB_TOKEN}}
# TODO: re-enable linkcheck when it supports mdbook v5
use-linkcheck: false
- run: mdbook build
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book