| commit | b9792ddbff656decabec498d37b61d2db3c3691e | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 25 02:18:45 2025 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Tue Mar 25 02:18:45 2025 -0400 |
| tree | f40746ab8948a986d6051096be02552dbbd4f076 | |
| parent | e11fa9a0175bea38c35899c3d4d901928c49fb50 [diff] [blame] |
ci: use uv to install gcovr and sphinx Change-Id: If41dc0b522c70f462b62c34f54c40f73c39565b1
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