Code

Use Github Pages action#5

Code

Merged

bors-ferrocene[bot] merged 6 commits intomainferrocene/criticalup:mainfrom hoverbear/github-pagesferrocene/criticalup:hoverbear/github-pagesCopy head branch name to clipboardMay 23, 2024

+18-22

Commits

Commits on May 23, 2024

• Use Github Pages action

  

  Hoverbear

  authored and

  pietroalbini

  committed
  bc0981d

  Copy full SHA for bc0981d

• Fix permissions

  

  Hoverbear

  authored and

  pietroalbini

  committed
  a786a99

  Copy full SHA for a786a99

• deploy to github pages in the bors job

  pietroalbini

  committed
  0431170

  Copy full SHA for 0431170

• remove dependency in deploy-docs to the missing docs job

  pietroalbini

  committed
  5ab6382

  Copy full SHA for 5ab6382

• run the github pages build in the github-pages environment

  pietroalbini

  committed
  24b56e8

  Copy full SHA for 24b56e8

• remove old github pages deployment

  pietroalbini

  committed
  97f14cb

  Copy full SHA for 97f14cb