tree 44995448543d342728f7671eb286238b52920c39
parent e9b09b8f71d33734144bd45c7c6ea57a2ce1841b
author Davide Pesavento <davidepesa@gmail.com> 1676250003 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1676250003 -0500

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

Change-Id: I848f0e6abdacfaa0e356ae71d1f0c10e877304f8