tree 814a28c5f668e7a61b6355d47f257c2a93ddfa23
parent 1ba969ac11763a14a0d8afef17b79acfac51cd4c
author Jiri Daněk <jdanek@redhat.com> 1735401179 +0100
committer Jiri Daněk <jdanek@redhat.com> 1735401191 +0100

DISPATCH-2363: chore(gha): use the `-DBUILD_TOOLS=OFF` option added in PROTON-2724