Code

Add Rust docs#49

Code

Merged

jeehoonkang merged 9 commits intokaist-cp:mainkaist-cp/smr-benchmark:mainfrom powergee:ci-docpowergee/pebr-benchmark:ci-docCopy head branch name to clipboardMay 20, 2024

+1,982-323

Commits

Commits on May 19, 2024

• Embed HP++ and separate smrs directory

  powergee

  committed
  8678715

  Copy full SHA for 8678715

Commits on May 20, 2024

• Add a workflow to generate a documentation

  powergee

  committed
  9d738c4

  Copy full SHA for 9d738c4

• Minor fix on doc.yml

  powergee

  committed
  38dbd00

  Copy full SHA for 38dbd00

• Add an explicit redirection

  powergee

  committed
  c073062

  Copy full SHA for c073062

• Fix a minor typo

  powergee

  committed
  4e33834

  Copy full SHA for 4e33834

• Edit the documentation script to ignore deps

  powergee

  committed
  c849252

  Copy full SHA for c849252

• Add a badge for Rust docs

  powergee

  committed
  b3ddd71

  Copy full SHA for b3ddd71

• Change the badge path to the upstream

  powergee

  committed
  41c672a

  Copy full SHA for 41c672a

• Remove redundant inner .gitignores

  powergee

  committed
  d91c309

  Copy full SHA for d91c309