| commit | 187e065a78bafd246efb39548684216c580723bc | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 25 02:02:14 2025 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 25 02:02:14 2025 -0400 |
| tree | 539aad55199793a2485c2de4282c8fa6503c8fb4 | |
| parent | 35488926c74fdb965900e4f0a7cbc0016f085185 [diff] |
ci: use uv to install gcovr and sphinx Change-Id: Ic62e62af43921f915fd07aea0d8e68d6ff153d88
diff --git a/docs/requirements.txt b/docs/requirements.txt new file mode 100644 index 0000000..1348feb --- /dev/null +++ b/docs/requirements.txt
@@ -0,0 +1,3 @@ +docutils>=0.20 +sphinx>=7.0.1,<9 +sphinxcontrib-doxylink~=1.13