diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-09-22 00:56:34 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2025-09-22 00:56:34 +0200 |
| commit | 54a95927f054dd7229fd5e26c3acee509f71c82f (patch) | |
| tree | 1437f2e27f283b252b6a0419af4f2455618dc511 /embassy-executor | |
| parent | 27df9288f343c2855d1daec00d127541826d664f (diff) | |
ci: use devtool to build docs.
Diffstat (limited to 'embassy-executor')
0 files changed, 0 insertions, 0 deletions