tree 02463fa184c8ecf9ec7d1ba02fbdf945c3a62677
parent c0bab4ed64c10dbedaea4826cbca02c47ae9978e
author Davide Pesavento <davidepesa@gmail.com> 1676582422 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1676583002 -0500

ci: ensure builds are reproducible

Change-Id: I62741af7106d410f161708990b309c886ec4a7c6