commit 53021742940a81897ddd10f29135bba5c08ffb57
author Davide Pesavento <davidepesa@gmail.com> Sun Jul 14 17:00:03 2024 -0400
committer Davide Pesavento <davidepesa@gmail.com> Sun Jul 14 17:00:03 2024 -0400
tree dda2c7094b1014f3b244c72a5556832664b970a5
parent 78926bd43bbc3c7bb0e1f4099da7fa49b7222e3c

ci: add release workflow

[skip ci]

Change-Id: Ia6efbac360d6f3bc409fed82a887f312ad2d5c87

.github/workflows/ci.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8cbb310..e7a8305 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,8 @@
 name: CI
 on:
   push:
+    branches:
+      - '**'
   workflow_dispatch:
 
 permissions: {}

.github/workflows/release.yml

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