Code

CI: fix documentation#435

Code

Merged

franziskuskiefer merged 7 commits intomaincryspen/hacl-packages:mainfrom pnmadelaine-fix-doccryspen/hacl-packages:pnmadelaine-fix-docCopy head branch name to clipboardDec 5, 2023

+27-27

Commits

Commits on Dec 1, 2023

• ci: build static content on pull requests

  pnmadelaine

  committed
  cc39fd8

  Copy full SHA for cc39fd8

• ci: update setup-rust-action when building static content

  pnmadelaine

  committed
  cd5a7ed

  Copy full SHA for cd5a7ed

• ci: fix indentation

  pnmadelaine

  committed
  5d4a0e6

  Copy full SHA for 5d4a0e6

Commits on Dec 4, 2023

• ci: build documentation on macos

  pnmadelaine

  committed
  73078fd

  Copy full SHA for 73078fd

• ci: fix sphinx installation on macos

  pnmadelaine

  committed
  2e0e871

  Copy full SHA for 2e0e871

• ci: fix system setup on macos

  pnmadelaine

  committed
  aae0bd8

  Copy full SHA for aae0bd8

• ci: remove commented code

  pnmadelaine

  committed
  b4e214e

  Copy full SHA for b4e214e