diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-07-18 18:15:35 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-07-18 18:15:35 +0200 |
| commit | a1d3bc30fa44795e6e64ba0db8607f9ea65c55a2 (patch) | |
| tree | bf690f0e327cea410d48da4a5c674cc2d44f2be8 /.github | |
| parent | 98576c17b6c29972074867499332365f7f3e89db (diff) | |
net-esp-hosted: build docs.
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/ci/doc.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/ci/doc.sh b/.github/ci/doc.sh index 9e9c78a42..06c6fa00b 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh | |||
| @@ -37,6 +37,7 @@ docserver-builder -i ./embassy-usb-logger -o webroot/crates/embassy-usb-logger/g | |||
| 37 | docserver-builder -i ./cyw43 -o webroot/crates/cyw43/git.zup | 37 | docserver-builder -i ./cyw43 -o webroot/crates/cyw43/git.zup |
| 38 | docserver-builder -i ./cyw43-pio -o webroot/crates/cyw43-pio/git.zup | 38 | docserver-builder -i ./cyw43-pio -o webroot/crates/cyw43-pio/git.zup |
| 39 | docserver-builder -i ./embassy-net-w5500 -o webroot/crates/embassy-net-w5500/git.zup | 39 | docserver-builder -i ./embassy-net-w5500 -o webroot/crates/embassy-net-w5500/git.zup |
| 40 | docserver-builder -i ./embassy-net-esp-hosted -o webroot/crates/embassy-net-esp-hosted/git.zup | ||
| 40 | docserver-builder -i ./embassy-stm32-wpan -o webroot/crates/embassy-stm32-wpan/git.zup --output-static webroot/static | 41 | docserver-builder -i ./embassy-stm32-wpan -o webroot/crates/embassy-stm32-wpan/git.zup --output-static webroot/static |
| 41 | 42 | ||
| 42 | export KUBECONFIG=/ci/secrets/kubeconfig.yml | 43 | export KUBECONFIG=/ci/secrets/kubeconfig.yml |