Fixed the HPKE check code derivation to match MSC4388 #1288
This file contains hidden or 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
| name: docs | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| permissions: {} | |
| jobs: | |
| docs: | |
| name: docs | |
| runs-on: ubuntu-latest | |
| # Needs write access for the Deploy step | |
| permissions: { contents: write } | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | |
| with: | |
| persist-credentials: false | |
| - name: Install stable toolchain | |
| uses: dtolnay/rust-toolchain@d1031067263f94b142dd6c0ce24c5eb9d02d52a0 | |
| with: | |
| toolchain: nightly | |
| - uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 | |
| - name: Build docs | |
| run: cargo doc --no-deps -Zrustdoc-map | |
| env: | |
| RUSTDOCFLAGS: "--enable-index-page -Zunstable-options --cfg docsrs" | |
| - name: Deploy docs | |
| if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }} | |
| uses: peaceiris/actions-gh-pages@84c30a85c19949d7eee79c4ff27748b70285e453 | |
| with: | |
| github_token: ${{ secrets.GITHUB_TOKEN }} | |
| publish_dir: ./target/doc/ | |
| force_orphan: true |