Move book from `hacspec/book` to `hacspec/hax`#729

Merged

W95Psp merged 8 commits intomainfrom move-book

Jul 1, 2024

+2,202-49

Commits on Jul 1, 2024

feat(book): init book (moving from repo)
Lucas Franceschino
committed
feat(ci): one common workflow for all deploys
Lucas Franceschino
committed
remove .github and theme
Lucas Franceschino
committed
doc(gh actions): better names, add comments
Lucas Franceschino
committed
fix(gha): gh_pages
Lucas Franceschino
committed
fix(gha): book: add README.md
Lucas Franceschino
committed
fix(gha): add hax commit hash in commit message
Lucas Franceschino
committed
fix(gha): macos-11 no longer available
Lucas Franceschino
committed