Skip to content

PartialOrder with Rhs type parameter (#565) #113

PartialOrder with Rhs type parameter (#565)

PartialOrder with Rhs type parameter (#565) #113

Workflow file for this run

name: deploy
on:
push:
branches:
- master
jobs:
deploy:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- run: cargo install mdbook --version 0.4.36
- run: cd mdbook && mdbook build
- uses: JamesIves/github-pages-deploy-action@v4
with:
branch: gh-pages
folder: mdbook/book