Skip to content
Docs

feat: Implement abdulrcrtw assigned issues #528, #526, #519, #513 (#659) #6

Sign in to view logs

feat: Implement abdulrcrtw assigned issues #528, #526, #519, #513 (#659)

feat: Implement abdulrcrtw assigned issues #528, #526, #519, #513 (#659) #6

Workflow file for this run

.github/workflows/rustdoc.yml at 864676d
name: Docs
on:
push:
branches: [main]
workflow_dispatch:
jobs:
publish-docs:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
with:
components: rust-docs
- name: Generate rustdoc
run: cargo doc --no-deps --document-private-items --workspace 2>&1 | tail -20 || true
- name: Add redirect index
run: |
echo '<meta http-equiv="refresh" content="0; url=propchain_traits/index.html">' \
> target/doc/index.html
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./target/doc
destination_dir: docs