Skip to content

WIP: Add optional tracing #14

WIP: Add optional tracing

WIP: Add optional tracing #14

Workflow file for this run

name: Build
on: [push]
jobs:
rustdoc:
runs-on: ubuntu-latest
env:
RUSTDOCFLAGS: -Dwarnings
CARGO_TERM_COLOR: always
NUM_JOBS: 2
steps:
- uses: actions/checkout@v3
- uses: actions-rs/toolchain@v1
with:
toolchain: stable
profile: minimal
override: true
- uses: Swatinem/rust-cache@v2
- name: Build documentation
uses: actions-rs/cargo@v1
with:
command: doc
args: --no-deps
- name: Prepare HTML
run: |
mkdir -p ./public/
# The ./target/doc/ directory has assets one level above the index.html, but it
# requires relative links, so we redirect to it from one level higher.
echo '<meta http-equiv="refresh" content="0; url=ag_iso_stack">' >./public/index.html
cp -r target/doc/* ./public/
# TODO: Replace with docs.rs once crate publishing is figured out
- name: Deploy documentation
uses: peaceiris/actions-gh-pages@v3
# if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./public/
force_orphan: true