| commit | 85380e7b3c555dfa40911e87268cfed76e65e53f | [log] [tgz] |
|---|---|---|
| author | David Ostrovsky <david@ostrovsky.org> | Mon Nov 27 09:50:51 2023 +0100 |
| committer | GitHub <noreply@github.com> | Mon Nov 27 09:50:51 2023 +0100 |
| tree | 70f26adcc6b60f9252ee408ce6d849d8deb57d96 | |
| parent | aed17a84ce59086c9dd862d62a3eda77eb64b881 [diff] |
Further adapt gerrit pipeline (#1815)