commit 89c22ed8383ca4e5130a896a7456710935122c59
author Davide Pesavento <davidepesa@gmail.com> Sun Jun 16 19:21:22 2024 -0400
committer Davide Pesavento <davidepesa@gmail.com> Sun Jun 16 19:21:22 2024 -0400
tree 155080d08c743cc45caf6cfaaace3b2899f27671
parent 08c2fbb18df66fd012b110013a56174f369d6c6e

ci: add release workflow

[skip ci]

Change-Id: Idfcef50378042e62c10494cc37d18e590688eba5

.github/workflows/release.yml

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
new file mode 100644
index 0000000..fbe0fe5
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,17 @@
+name: Release
+on:
+  push:
+    tags:
+      - 'NFD-[0-9]+*'
+  workflow_dispatch:
+
+permissions:
+  attestations: write
+  contents: write
+  id-token: write
+
+jobs:
+  release:
+    uses: named-data/actions/.github/workflows/release.yml@v1
+    with:
+      submodules: true