Code

Make gh-pages an orphan branch#3157

Code

Merged

rv-jenkins merged 1 commit intodevelopruntimeverification/k:developfrom fix/gh-pages-single-commit-deployruntimeverification/k:fix/gh-pages-single-commit-deployCopy head branch name to clipboardFeb 14, 2023

+2-3

Commits

Commits on Feb 14, 2023

• fix: Make gh-pages an orphan branch

  

  shd101wyy

  authored and

  yiyi-wang-rv

  committed
  309dcab

  Copy full SHA for 309dcab