tree fc6d693c942ca3100c24ba555f61d906c0f90ba4
parent c47a511e690981cc3d323502d69f8027038f0826
author Davide Pesavento <davidepesa@gmail.com> 1702002615 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1702002615 -0500

ci: add missing dependency

Change-Id: I057f12e19c6ab841a1d62d4454329a654a7c38a5