Update docs-ghpages.yml

This commit is contained in:
Nagu Thogiti 2023-09-10 09:03:31 +08:00 committed by CPerezz
parent 85f2f279d3
commit c66fafa814
No known key found for this signature in database
GPG Key ID: 6EE573EDC452F806
1 changed files with 0 additions and 12 deletions

View File

@ -17,18 +17,6 @@ jobs:
override: true
- name: Install mdbook-katex and mdbook-pdf
uses: actions-rs/cargo@v1
with:
command: install
args: mdbook-katex mdbook-pdf
- name: Install mdbook-pdf-outline
run: pip3 install mdbook-pdf-outline
- name: Build halo2 book
run: mdbook build book/
- name: Build latest rustdocs
uses: actions-rs/cargo@v1
with: