mirror of https://github.com/zcash/halo2.git
chore: fix "docs ghpages/deploy" ci (#305)
* ci: update toolchain for docs/ghpages ci * refactor: move the "katex-header.html" file for docs/ghpages ci * chore: add the html copy/delete process in ci
This commit is contained in:
parent
720ba510de
commit
b9a057d791
|
@ -12,4 +12,4 @@
|
||||||
]
|
]
|
||||||
});
|
});
|
||||||
});
|
});
|
||||||
</script>
|
</script>
|
|
@ -16,9 +16,17 @@ jobs:
|
||||||
- uses: actions/checkout@v3
|
- uses: actions/checkout@v3
|
||||||
- uses: actions-rs/toolchain@v1
|
- uses: actions-rs/toolchain@v1
|
||||||
with:
|
with:
|
||||||
toolchain: nightly
|
toolchain: nightly-2023-10-05
|
||||||
override: true
|
override: true
|
||||||
|
|
||||||
|
- name: Copy the html file to workspace crates
|
||||||
|
run: |
|
||||||
|
for cargo_toml in $(find . -name Cargo.toml); do
|
||||||
|
crate_dir=$(dirname $cargo_toml)
|
||||||
|
cp .github/katex-header.html $crate_dir
|
||||||
|
echo "Copied html file to $crate_dir"
|
||||||
|
done
|
||||||
|
|
||||||
- name: Build latest rustdocs
|
- name: Build latest rustdocs
|
||||||
uses: actions-rs/cargo@v1
|
uses: actions-rs/cargo@v1
|
||||||
with:
|
with:
|
||||||
|
@ -33,6 +41,14 @@ jobs:
|
||||||
cp -R ./target/doc ./docs
|
cp -R ./target/doc ./docs
|
||||||
echo "<meta http-equiv=\"refresh\" content=\"0; url=halo2_proofs\">" > ./docs/index.html
|
echo "<meta http-equiv=\"refresh\" content=\"0; url=halo2_proofs\">" > ./docs/index.html
|
||||||
|
|
||||||
|
- name: Delete the html files copied to every crate
|
||||||
|
run: |
|
||||||
|
for cargo_toml in $(find . -name Cargo.toml); do
|
||||||
|
crate_dir=$(dirname $cargo_toml)
|
||||||
|
rm -f $crate_dir/katex-header.html
|
||||||
|
echo "Deleted html file in $crate_dir"
|
||||||
|
done
|
||||||
|
|
||||||
- name: Deploy to GitHub Pages
|
- name: Deploy to GitHub Pages
|
||||||
uses: peaceiris/actions-gh-pages@v3
|
uses: peaceiris/actions-gh-pages@v3
|
||||||
with:
|
with:
|
||||||
|
|
|
@ -1,3 +1,5 @@
|
||||||
|
#![cfg_attr(docsrs, feature(doc_cfg))]
|
||||||
|
|
||||||
pub mod circuit;
|
pub mod circuit;
|
||||||
pub mod dev;
|
pub mod dev;
|
||||||
pub mod plonk;
|
pub mod plonk;
|
||||||
|
|
Loading…
Reference in New Issue