tree 22b1725ed50c99aa5f6acd5d1a0cf312d86c1a15
parent 3fb27eb32efbd824e9818044c09fce923d5dbf40
author Davide Pesavento <davidepesa@gmail.com> 1676361722 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1676399883 -0500

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

Change-Id: I4219458d27723ee7c408a665f7b31a1ca557b1e0