Skip to content

Commit

Permalink
Merge pull request #1331 from o1-labs/dannywillems/remove-nightly-car…
Browse files Browse the repository at this point in the history
…go-doc

Use a specific nightly version for building the doc
  • Loading branch information
dannywillems authored Nov 15, 2023
2 parents 4e98aa9 + ed64ecb commit e0fd2f5
Showing 1 changed file with 6 additions and 3 deletions.
9 changes: 6 additions & 3 deletions .github/workflows/gh-page.yml
Original file line number Diff line number Diff line change
Expand Up @@ -3,11 +3,13 @@ name: Deploy Specifications & Docs to GitHub Pages
on:
push:
branches:
- master
- "*"

env:
OCAML_VERSION: "4.14.0"
RUST_TOOLCHAIN_VERSION: "nightly"
# This version has been chosen randomly. It seems that with 2023-11-16, it is
# broken. The compiler crashes. Feel free to pick any newer working version.
RUST_TOOLCHAIN_VERSION: "nightly-2023-10-10"

jobs:
release:
Expand Down Expand Up @@ -42,7 +44,7 @@ jobs:
- name: Build Rust Documentation
run: |
eval $(opam env)
RUSTDOCFLAGS="--enable-index-page -Zunstable-options" cargo +nightly doc --all --no-deps
RUSTDOCFLAGS="--enable-index-page -Zunstable-options" cargo doc --all --no-deps
- name: Build the mdbook
run: |
Expand All @@ -57,6 +59,7 @@ jobs:
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: github.ref == 'refs/heads/master'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./book/book/html

0 comments on commit e0fd2f5

Please sign in to comment.