tree 42ba873ff2da320dc973a81b0d82fcc3925aa704
parent 3bc8e19a89f13b09b48b747b9faa223c0e96da37
author Davide Pesavento <davidepesa@gmail.com> 1676236496 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1676236496 -0500

ci: adopt reusable workflows from `named-data/actions`

Change-Id: Iefd142d82f56a6fb83c5039565b6eba83c6e6445