| commit | 35e9104de7a32a1cb2f7083015da0609a89f04b5 | [log] [tgz] |
|---|---|---|
| author | Fabio Baltieri <fabiobaltieri@google.com> | Thu Nov 09 17:28:26 2023 +0000 |
| committer | Fabio Baltieri <fabio.baltieri@gmail.com> | Thu Nov 09 18:54:26 2023 +0000 |
| tree | 5a85498f9664657497d52aceee0b8a37d5095b55 | |
| parent | 62b01532496d8b4ed7ede7b23bcabf351aaa1aba [diff] |
ci: doc-build: add the container owner workaround step Seems like the PDF build hit the "detected dubious ownership in repository" issue that has already been worked around in other workflow. Add that step here as well. Signed-off-by: Fabio Baltieri <fabiobaltieri@google.com>