diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-08-15 15:13:03 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-08-15 15:13:03 +0200 |
| commit | b6b44480457d272aace977e885d5dba252fd2bed (patch) | |
| tree | 89fc9b0e20e820b15bffd3e3e59f9c451712e388 /.github | |
| parent | cb3644856d8a83dfce35e915aa20ce471a02de09 (diff) | |
ci/docs: build embassy-net-enc28j60.
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 e410ffa35..f829582ab 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh | |||
| @@ -36,6 +36,7 @@ docserver-builder -i ./embassy-usb-logger -o webroot/crates/embassy-usb-logger/g | |||
| 36 | docserver-builder -i ./cyw43 -o webroot/crates/cyw43/git.zup | 36 | docserver-builder -i ./cyw43 -o webroot/crates/cyw43/git.zup |
| 37 | docserver-builder -i ./cyw43-pio -o webroot/crates/cyw43-pio/git.zup | 37 | docserver-builder -i ./cyw43-pio -o webroot/crates/cyw43-pio/git.zup |
| 38 | docserver-builder -i ./embassy-net-w5500 -o webroot/crates/embassy-net-w5500/git.zup | 38 | docserver-builder -i ./embassy-net-w5500 -o webroot/crates/embassy-net-w5500/git.zup |
| 39 | docserver-builder -i ./embassy-net-enc28j60 -o webroot/crates/embassy-net-enc28j60/git.zup | ||
| 39 | docserver-builder -i ./embassy-net-esp-hosted -o webroot/crates/embassy-net-esp-hosted/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 | ||