tree 1381244d735d198a545d907c865a0b82af4cf572
parent 5379589ea623d9d6bf083bd82d3d423d0a22cc8b
author Davide Pesavento <davidepesa@gmail.com> 1676359956 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1676359956 -0500

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

Change-Id: I39603351effe52e23719b2af7d8e4504e1c2c840