From 17a78260c77c4fd52cbc3c48cef64f1c974eccbe Mon Sep 17 00:00:00 2001 From: Reto Gantenbein Date: Fri, 20 Mar 2026 22:06:06 +0100 Subject: [PATCH 1/2] github-workflow: Set tag as title for Github release --- .github/workflows/release.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml index 42828b5..0f3d195 100644 --- a/.github/workflows/release.yaml +++ b/.github/workflows/release.yaml @@ -66,4 +66,4 @@ jobs: - name: Create GitHub Release env: GH_TOKEN: ${{ github.token }} - run: gh release create "${GITHUB_REF_NAME}" --notes-file release-notes.md + run: gh release create "${GITHUB_REF_NAME}" --title "${GITHUB_REF_NAME}" --notes-file release-notes.md From 525de4f948a31052b81e1bbef0244c430982ed23 Mon Sep 17 00:00:00 2001 From: Reto Gantenbein Date: Fri, 20 Mar 2026 22:09:56 +0100 Subject: [PATCH 2/2] github-workflow: Avoid CI pipeline to run twice on each PR commit --- .github/workflows/ci.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index dbcee7e..aa8108e 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -3,6 +3,7 @@ name: CI on: push: + branches: [main] pull_request: workflow_dispatch: