ci: add release workflow
[skip ci]
Change-Id: I1d493d0087283d1ed1f0c2b2e48bedbfa168d5bc
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 @@
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