tree 5c4ce2e6e122b5f0c1a285b4615edf27e0fd36ee
parent d78e77ece63068c720210fef0af63f4965057669
author Davide Pesavento <davidepesa@gmail.com> 1676240072 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1676240072 -0500

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

Change-Id: I97ce6261282a27fd3dfa82b3d35a024b5e9533b5