tree 3613819c9fb8b16106457d0ccbfe94ba3565b411
parent 4fb843019608a1b1fb0907bb078cccea579edb01
author Davide Pesavento <davidepesa@gmail.com> 1707607716 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707607716 -0500

ci: add missing dependency

Change-Id: Iee13a84b392b0d03e9bdbf7c20d045d1582bab7c