diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-12-22 20:07:17 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-12-22 20:07:17 +0000 |
| commit | bb8ad9148a2fbbe56b3dc2293cd852a444a14203 (patch) | |
| tree | 129bff555ec2fee297a932243de03151ec38712c /.github/ci/doc.sh | |
| parent | 8b3cbf80a4d69bc61b300b0e8da9030d2a56f40b (diff) | |
| parent | ab8ca3f126447edb3a9eb06aa6fd6cd394219c17 (diff) | |
Merge pull request #3664 from bugadani/executor
Rename ETQD and prepare new embassy-time-*driver, embassy-executor, embassy-time
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 47babe8f5..c92892406 100755 --- a/.github/ci/doc.sh +++ b/.github/ci/doc.sh | |||
| @@ -32,7 +32,7 @@ docserver-builder -i ./embassy-stm32-wpan -o webroot/crates/embassy-stm32-wpan/g | |||
| 32 | 32 | ||
| 33 | docserver-builder -i ./embassy-time -o webroot/crates/embassy-time/git.zup | 33 | docserver-builder -i ./embassy-time -o webroot/crates/embassy-time/git.zup |
| 34 | docserver-builder -i ./embassy-time-driver -o webroot/crates/embassy-time-driver/git.zup | 34 | docserver-builder -i ./embassy-time-driver -o webroot/crates/embassy-time-driver/git.zup |
| 35 | docserver-builder -i ./embassy-time-queue-driver -o webroot/crates/embassy-time-queue-driver/git.zup | 35 | docserver-builder -i ./embassy-time-queue-utils -o webroot/crates/embassy-time-queue-utils/git.zup |
| 36 | 36 | ||
| 37 | docserver-builder -i ./embassy-usb -o webroot/crates/embassy-usb/git.zup | 37 | docserver-builder -i ./embassy-usb -o webroot/crates/embassy-usb/git.zup |
| 38 | docserver-builder -i ./embassy-usb-dfu -o webroot/crates/embassy-usb-dfu/git.zup | 38 | docserver-builder -i ./embassy-usb-dfu -o webroot/crates/embassy-usb-dfu/git.zup |