change mingw regex

marcoieni · marcoieni · commit 0f176c85ccce · 2024-11-18T12:59:53.000+01:00
diff --git a/src/ci/shared.sh b/src/ci/shared.sh
@@ -53,8 +53,8 @@ function isLinux {
 }
 
 function isKnownToBeMingwBuild {
-    # CI_JOB_NAME must contain "mingw" to be considered a MinGW build.
-    isGitHubActions && [[ "${CI_JOB_NAME}" == *mingw* ]]
+    # CI_JOB_NAME must end with "mingw" and optionally `-N` to be considered a MinGW build.
+    isGitHubActions && [[ "${CI_JOB_NAME}" =~ mingw(-[0-9]+)?$ ]]
 }
 
 function isCiBranch {

Original file line number	Diff line number	Diff line change
`@@ -53,8 +53,8 @@ function isLinux {`
`53`	`53`	`}`
`54`	`54`
`55`	`55`	`function isKnownToBeMingwBuild {`
`56`		`- # CI_JOB_NAME must contain "mingw" to be considered a MinGW build.`
`57`		`- isGitHubActions && [[ "${CI_JOB_NAME}" == mingw ]]`
	`56`	+ # CI_JOB_NAME must end with "mingw" and optionally `-N` to be considered a MinGW build.
	`57`	`+ isGitHubActions && [[ "${CI_JOB_NAME}" =~ mingw(-[0-9]+)?$ ]]`
`58`	`58`	`}`
`59`	`59`
`60`	`60`	`function isCiBranch {`