tree 68c1589fad1f02b341deb52b5c4bcb6f1f235d37
parent 135cd2d63a8b124b0686e447d1f78aa0bda86694
author Davide Pesavento <davidepesa@gmail.com> 1676705205 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1676705205 -0500

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

Change-Id: I522f7d5165d0da410945ff01bb38a19cad8d038d