Skip to content

Commit

Permalink
docs: use main instead of dev for API docs
Browse files Browse the repository at this point in the history
  • Loading branch information
heeckhau committed Jan 24, 2025
1 parent 65299d7 commit 96b0ac6
Showing 1 changed file with 3 additions and 8 deletions.
11 changes: 3 additions & 8 deletions .github/workflows/rustdoc.yml
Original file line number Diff line number Diff line change
@@ -1,10 +1,6 @@
name: rustdoc

on:
push:
branches: [dev]
pull_request:
branches: [dev]
on: [push, pull_request]

env:
CARGO_TERM_COLOR: always
Expand All @@ -23,17 +19,16 @@ jobs:

- name: "rustdoc"
run: cargo doc -p tlsn-core -p tlsn-prover -p tlsn-verifier --no-deps --all-features
# --target-dir ${GITHUB_WORKSPACE}/docs

# https://dev.to/deciduously/prepare-your-rust-api-docs-for-github-pages-2n5i
- name: "Add index file -> tlsn_prover"
if: ${{ github.ref == 'refs/heads/main' }}
run: |
echo "<meta http-equiv=\"refresh\" content=\"0; url=tlsn_prover\">" > target/doc/index.html
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/dev' }}
if: ${{ github.ref == 'refs/heads/main' }}
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: target/doc/
# cname: rustdocs.tlsnotary.org

0 comments on commit 96b0ac6

Please sign in to comment.