mirror of
https://github.com/polhenarejos/pico-hsm
synced 2026-05-24 15:15:07 +02:00
Try to fix CodeQL build.
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>