release: rename skip directive to [skip-release] (hyphen)

the previous [skip release] (space) matched my own commit message
that literally described the feature, which caused the first green
ci run to skip the release instead of cutting v0.0.1. hyphenated
form is much less likely to show up in ordinary prose.

also switch the job-level if from folded-scalar yaml to an inline
${{ }} expression for robustness.

commit: f0014f10fac27e8199b40da8d2662b63f21f61f7
author: patriceckhart · 6mo ago · 2026-04-18 09:15 UTC
parent: 63547d4
signature: unsigned

1 file · +5 -6

M .github/workflows/release.yml +5 -6


@@ -9,8 +9,10 @@ name: release
9	9		# (amd64 + arm64) and attaches them plus checksums.txt to a fresh
10	10		# GitHub Release page
11	11		#
12		-	# Skip a release by putting [skip release] anywhere in the commit
13		-	# message — useful for docs-only or ci-only commits.
	12	+	# Skip a release by putting [skip-release] anywhere in the commit
	13	+	# message (note the hyphen) — useful for docs-only or ci-only
	14	+	# commits. We use [skip-release] rather than [skip release] so that
	15	+	# commits that merely mention the phrase don't accidentally opt out.
14	16		on:
15	17		workflow_run:
16	18		workflows: [ci]

@@ -31,10 +33,7 @@ jobs:
31	33		release:
32	34		# Only run when ci succeeded and we're on main, and when the head
33	35		# commit doesn't opt out via [skip release].
34		-	if: >-
35		-	github.event.workflow_run.conclusion == 'success' &&
36		-	github.event.workflow_run.head_branch == 'main' &&
37		-	!contains(github.event.workflow_run.head_commit.message, '[skip release]')
	36	+	if: ${{ github.event.workflow_run.conclusion == 'success' && github.event.workflow_run.head_branch == 'main' && !contains(github.event.workflow_run.head_commit.message, '[skip-release]') }}
38	37		runs-on: ubuntu-latest
39	38		steps:
40	39		- name: checkout

 #      (amd64 + arm64) and attaches them plus checksums.txt to a fresh
 #      GitHub Release page
 #
-# Skip a release by putting [skip release] anywhere in the commit
+# Skip a release by putting [skip-release] anywhere in the commit
-# message — useful for docs-only or ci-only commits.
+# message (note the hyphen) — useful for docs-only or ci-only
+# commits. We use [skip-release] rather than [skip release] so that
+# commits that merely *mention* the phrase don't accidentally opt out.
 on:
   workflow_run:
     workflows: [ci]
   release:
     # Only run when ci succeeded and we're on main, and when the head
     # commit doesn't opt out via [skip release].
-    if: >-
+    if: ${{ github.event.workflow_run.conclusion == 'success' && github.event.workflow_run.head_branch == 'main' && !contains(github.event.workflow_run.head_commit.message, '[skip-release]') }}
-      github.event.workflow_run.conclusion == 'success' &&
-      github.event.workflow_run.head_branch == 'main' &&
-      !contains(github.event.workflow_run.head_commit.message, '[skip release]')
     runs-on: ubuntu-latest
     steps:
       - name: checkout