diff options
| author | Dario Nieuwenhuis <[email protected]> | 2022-10-02 22:24:59 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2022-10-02 23:30:12 +0200 |
| commit | 753781a2639c3505ab046cb48acb6473b84b214b (patch) | |
| tree | 48f22ea348ae8705c8b1341efb9f236b4d5ae2ff /embassy-executor | |
| parent | 73208d524843ca451b4cbfdb06e35f1b85290f4c (diff) | |
Build docs in CI
Diffstat (limited to 'embassy-executor')
| -rw-r--r-- | embassy-executor/Cargo.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/embassy-executor/Cargo.toml b/embassy-executor/Cargo.toml index fa3d0b2b6..3b1c4ab46 100644 --- a/embassy-executor/Cargo.toml +++ b/embassy-executor/Cargo.toml | |||
| @@ -7,7 +7,7 @@ edition = "2021" | |||
| 7 | [package.metadata.embassy_docs] | 7 | [package.metadata.embassy_docs] |
| 8 | src_base = "https://github.com/embassy-rs/embassy/blob/embassy-executor-v$VERSION/embassy-executor/src/" | 8 | src_base = "https://github.com/embassy-rs/embassy/blob/embassy-executor-v$VERSION/embassy-executor/src/" |
| 9 | src_base_git = "https://github.com/embassy-rs/embassy/blob/$COMMIT/embassy-executor/src/" | 9 | src_base_git = "https://github.com/embassy-rs/embassy/blob/$COMMIT/embassy-executor/src/" |
| 10 | features = ["nightly", "defmt", "unstable-traits"] | 10 | features = ["nightly", "defmt"] |
| 11 | flavors = [ | 11 | flavors = [ |
| 12 | { name = "std", target = "x86_64-unknown-linux-gnu", features = ["std"] }, | 12 | { name = "std", target = "x86_64-unknown-linux-gnu", features = ["std"] }, |
| 13 | { name = "wasm", target = "wasm32-unknown-unknown", features = ["wasm"] }, | 13 | { name = "wasm", target = "wasm32-unknown-unknown", features = ["wasm"] }, |