From bcd76833da643219e090eb6f217d50e479354f8f Mon Sep 17 00:00:00 2001
From: Davide Pesavento <davidepesa@gmail.com>
Date: Fri, 19 Jul 2024 16:00:01 -0400
Subject: [PATCH] ci: add release workflow

[skip ci]

Change-Id: I1d493d0087283d1ed1f0c2b2e48bedbfa168d5bc
---
 .github/workflows/ci.yml      |  2 ++
 .github/workflows/release.yml | 15 +++++++++++++++
 .jenkins.d/00-deps.sh         |  1 +
 3 files changed, 18 insertions(+)
 create mode 100644 .github/workflows/release.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 74f5cd3..dae5427 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,8 @@
 name: CI
 on:
   push:
+    branches:
+      - '**'
     paths-ignore:
       - 'Dockerfile'
       - '.dockerignore'
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
new file mode 100644
index 0000000..eab5a0e
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,15 @@
+name: Release
+on:
+  push:
+    tags:
+      - 'NLSR-[0-9]+*'
+  workflow_dispatch:
+
+permissions:
+  attestations: write
+  contents: write
+  id-token: write
+
+jobs:
+  release:
+    uses: named-data/actions/.github/workflows/release.yml@v1
diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh
index 2bdc040..c20d217 100755
--- a/.jenkins.d/00-deps.sh
+++ b/.jenkins.d/00-deps.sh
@@ -36,6 +36,7 @@ esac
 set -x
 
 if [[ $ID == macos ]]; then
+    export HOMEBREW_NO_ENV_HINTS=1
     if [[ -n $GITHUB_ACTIONS ]]; then
         export HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK=1
     fi