ci: add release workflow

[skip ci]

Change-Id: I1d493d0087283d1ed1f0c2b2e48bedbfa168d5bc

.github/workflows/ci.yml

@@ -1,6 +1,8 @@
 name: CI
 on:
  push:
+ branches:
+ - '**'
  paths-ignore:
  - 'Dockerfile'
  - '.dockerignore'

.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

.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