Update Rust crate proptest to 1.5.0 #374
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| on: | |
| push: | |
| branches: | |
| - main | |
| name: Docs | |
| jobs: | |
| docs: | |
| name: Build and deploy documentation | |
| concurrency: ci-${{ github.ref }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4 | |
| - uses: dtolnay/rust-toolchain@nightly | |
| # Note: caching doesn't appear to work for rustdoc as of 2022-12-04, and we're exceeding cache | |
| # sizes anyway | |
| - name: Build rustdoc | |
| # cargo-compare currently pulls in cargo which bloats build times massively | |
| run: | | |
| RUSTDOCFLAGS='--cfg=doc_cfg' cargo doc --all-features --workspace --exclude cargo-compare | |
| - name: Organize | |
| run: | | |
| rm -rf target/gh-pages | |
| mkdir target/gh-pages | |
| mv target/doc target/gh-pages/rustdoc | |
| - name: Deploy | |
| uses: JamesIves/github-pages-deploy-action@releases/v4 | |
| with: | |
| branch: gh-pages | |
| folder: target/gh-pages | |
| single-commit: true |