diff options
Diffstat (limited to '.github/ci/doc.sh')
| -rwxr-xr-x | .github/ci/doc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh index 70ce110d1..dab47e86d 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh | |||
| @@ -12,7 +12,7 @@ export CARGO_TARGET_DIR=/ci/cache/target | |||
| 12 | export PATH=$CARGO_HOME/bin:$PATH | 12 | export PATH=$CARGO_HOME/bin:$PATH |
| 13 | mv rust-toolchain-nightly.toml rust-toolchain.toml | 13 | mv rust-toolchain-nightly.toml rust-toolchain.toml |
| 14 | 14 | ||
| 15 | cargo install --git https://github.com/embassy-rs/cargo-embassy-devtool --locked --rev 3ca80f7065acbe0b69b7da463fab60e744f9de79 | 15 | cargo install --git https://github.com/embassy-rs/cargo-embassy-devtool --locked --rev 676e6d602bf016dc71f1e98f2c7f191d7bd20707 |
| 16 | 16 | ||
| 17 | cargo embassy-devtool doc -o webroot | 17 | cargo embassy-devtool doc -o webroot |
| 18 | 18 | ||