book.yml 2.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667
  1. name: Generate DarkFi Book
  2. on:
  3. push:
  4. branches:
  5. - master
  6. - mdbook-stuff
  7. jobs:
  8. compile-book:
  9. runs-on: ubuntu-latest
  10. steps:
  11. - uses: actions/checkout@v4
  12. with:
  13. persist-credentials: false
  14. fetch-depth: 0
  15. - name: Install Python
  16. uses: actions/setup-python@v1
  17. with:
  18. python-version: 3.9
  19. - name: Install Rust (nightly)
  20. uses: actions-rs/toolchain@v1
  21. with:
  22. toolchain: nightly-2024-07-07
  23. components: rustfmt, clippy
  24. override: true
  25. - name: Install Rust (wasm32)
  26. uses: actions-rs/toolchain@v1
  27. with:
  28. toolchain: nightly-2024-07-07
  29. target: wasm32-unknown-unknown
  30. override: true
  31. - uses: Swatinem/rust-cache@v2
  32. - name: Install ghp-import and mdbook
  33. run: |
  34. pip install ghp-import
  35. pip install prettytable
  36. sudo apt -y install make wget libasound2-dev wabt
  37. wget "https://github.com/badboy/mdbook-toc/releases/download/0.14.1/mdbook-toc-0.14.1-x86_64-unknown-linux-gnu.tar.gz"
  38. wget "https://github.com/lzanini/mdbook-katex/releases/download/v0.5.7/mdbook-katex-v0.5.7-x86_64-unknown-linux-gnu.tar.gz"
  39. wget "https://github.com/badboy/mdbook-mermaid/releases/download/v0.12.6/mdbook-mermaid-v0.12.6-x86_64-unknown-linux-gnu.tar.gz"
  40. wget "https://github.com/rust-lang/mdBook/releases/download/v0.4.34/mdbook-v0.4.34-x86_64-unknown-linux-gnu.tar.gz"
  41. for i in *.tar.gz; do
  42. tar xf "$i"
  43. rm -f "$i"
  44. done
  45. mv -v mdbook* /usr/local/bin/
  46. - name: Compile and publish the book and rustdoc
  47. run: |
  48. git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
  49. git config --local user.name "bookworm"
  50. cd doc
  51. make CARGO="cargo +nightly-2024-07-07" github
  52. git checkout gh-pages
  53. - name: Push changes
  54. uses: ad-m/github-push-action@master
  55. with:
  56. github_token: ${{ secrets.GITHUB_TOKEN }}
  57. branch: gh-pages
  58. force: true