zec
/
halo2
mirror of https://github.com/zcash/halo2.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #557 from zcash/fix-mdbook-deploy 

Fix Halo 2 book deployment
This commit is contained in:
str4d 2022-04-25 01:06:22 +02:00 committed by GitHub
parent 66827f3df9 b866548c5f
commit 34b467b8e0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/book.yml vendored
View File

@ -7,13 +7,12 @@ on:
jobs: jobs:
deploy: deploy:
runs-on: ubuntu-18.04 runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v2 - uses: actions/checkout@v2
- uses: actions-rs/toolchain@v1 - uses: actions-rs/toolchain@v1
with: with:
# Pinned until https://github.com/rust-lang/rust/issues/93476 is fixed. toolchain: nightly
toolchain: nightly-2022-01-18
override: true override: true
- name: Setup mdBook - name: Setup mdBook