Skip to content

Assert OBJECT_REF_OFFSET_LOWER_BOUND invariant (#1194) #510

Assert OBJECT_REF_OFFSET_LOWER_BOUND invariant (#1194)

Assert OBJECT_REF_OFFSET_LOWER_BOUND invariant (#1194) #510

Workflow file for this run

name: Generate doc
# Triggerred when a new commit is pushed to master
on:
push:
branches:
- master
jobs:
publish-rustdoc-as-ghpages:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
# Show the Rust toolchain we are actually using
- run: rustup show
- run: cargo --version
- name: Append sha to crate version
run: |
sed -i 's/^version = "[0-9]\+.[0-9]\+.[0-9]\+/&-'${GITHUB_SHA}'/' Cargo.toml
- name: Generate rustdoc
env:
# Override preprocessor.hide.hide in book.toml to hide some chapters.
MDBOOK_preprocessor__hide__hide: "true"
run: ./.github/scripts/ci-doc.sh
- name: Copy docs
# docs.mmtk.io is the root for github pages.
# mmtk full doc: /api
run: |
cp -r docs/userguide/book to_publish
cp -r target/doc to_publish/api
- name: Deploy to Github Page
uses: peaceiris/actions-gh-pages@v4
with:
personal_token: ${{ secrets.CI_ACCESS_TOKEN }}
publish_dir: to_publish
publish_branch: gh-pages
cname: docs.mmtk.io