| commit | 5d440be3748f578a331bff12f735802cceeef3ba | [log] [tgz] |
|---|---|---|
| author | Jiri Daněk <jdanek@redhat.com> | Sat Dec 28 16:52:59 2024 +0100 |
| committer | Jiri Daněk <jdanek@redhat.com> | Sat Dec 28 16:53:11 2024 +0100 |
| tree | 814a28c5f668e7a61b6355d47f257c2a93ddfa23 | |
| parent | 1ba969ac11763a14a0d8afef17b79acfac51cd4c [diff] |
DISPATCH-2363: chore(gha): use the `-DBUILD_TOOLS=OFF` option added in PROTON-2724