| commit | 405d187fa5e165779068837c408b6dec8263c0b6 | [log] [tgz] |
|---|---|---|
| author | Benjamin Cabé <benjamin@zephyrproject.org> | Thu Oct 16 08:46:51 2025 +0200 |
| committer | Chris Friedt <chrisfriedt@gmail.com> | Fri Oct 17 21:06:24 2025 -0400 |
| tree | a516218f511a780a91ce4552c1d04aa7c019cd52 | |
| parent | a1c54f5815ad4bebe07bdd1b27744d2ba4fd2ed0 [diff] |
ci: doc-build.yml: do not tweak manifest.project-filter unnecessarily The documentation build shouldn't need to pull in anything beyond what's active by default in the west.yml manifest. In fact, due to the way the manifest_projects_table.py script currently works, it is important that have a local west config that's "vanilla" so that the table of active/inactive projects is correct. Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org>