| commit | f1067cb68d1fa509807666033234c10e5e467171 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 25 00:08:04 2025 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 25 00:08:04 2025 -0400 |
| tree | 3efe74a937fdb4e4ce05395c2b11ecbbf5636710 | |
| parent | 28f045a07ee4bd3bd41c19f9ecafe65628a3f6bc [diff] [blame] |
ci: use uv to install gcovr and sphinx Change-Id: I2bc4459262e4b490ac61d4eccf335eaa50acc0d7
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