-
Notifications
You must be signed in to change notification settings - Fork 81
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Generate rust docs and publish (#1518)
* Generate rust docs and publish - Fix compilation by adding RUSTDOCFLAGS - Add CI job to publish docs (modified from hotshot) - Add a just recipe - Update README Close #1517 * Change doc CI job name * Fix cross compilation dev shell Put rust env vars into a nix attrset to avoid repeating them many times * Set RUSTFLAGS in doc CI job
- Loading branch information
Showing
5 changed files
with
82 additions
and
22 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,49 @@ | ||
name: Documentation | ||
on: | ||
push: | ||
branches: | ||
- "main" | ||
- "release-*" | ||
pull_request: | ||
schedule: | ||
- cron: "0 0 * * 1" | ||
workflow_dispatch: | ||
|
||
concurrency: | ||
group: ${{ github.workflow }}-${{ (github.ref == 'refs/heads/main' && github.run_number) || github.ref }} | ||
cancel-in-progress: true | ||
|
||
env: | ||
RUSTFLAGS: --cfg async_executor_impl="async-std" --cfg async_channel_impl="async-std" | ||
RUSTDOCFLAGS: --cfg async_executor_impl="async-std" --cfg async_channel_impl="async-std" | ||
|
||
jobs: | ||
doc: | ||
runs-on: ubuntu-24.04 | ||
steps: | ||
- name: Checkout Repository | ||
uses: actions/checkout@v4 | ||
|
||
- name: Install Just | ||
run: sudo apt-get install -y just | ||
|
||
- uses: Swatinem/rust-cache@v2 | ||
name: Enable Rust Caching | ||
|
||
- name: Build Docs | ||
run: | | ||
just doc | ||
- name: Create documentation | ||
if: ${{ github.ref == 'refs/heads/main' }} | ||
run: | | ||
cp -R target/doc public | ||
echo '<meta http-equiv="refresh" content="0; url=sequencer">' > public/index.html | ||
- name: Deploy | ||
uses: peaceiris/actions-gh-pages@v4 | ||
if: ${{ github.ref == 'refs/heads/main' }} | ||
with: | ||
github_token: ${{ secrets.GITHUB_TOKEN }} | ||
publish_dir: ./public | ||
cname: sequencer.docs.espressosys.com |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters