Fix CodeQL build.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos
2024-01-02 20:36:54 +01:00
parent fa9b244c42
commit 963b6f4f87