ci : add [no release] keyword + fix sanitizer builds (#23728)

* ci : skip release workflow on master when commit message contains [no release]

Assisted-by: llama.cpp:local pi

* ci : restrict sanitizer builds to x86_64 + fix build type

the spark is apparently too slow for some reason

* tests : fix undefined warning

[no ci]
This commit is contained in:
Georgi Gerganov
2026-05-26 19:05:48 +03:00
committed by GitHub
parent 5190c2ea8d
commit 35a74c8fb9
4 changed files with 16 additions and 5 deletions
+6
View File
@@ -1,5 +1,11 @@
name: Release
# Skip this workflow on push to master if the commit message contains [no release]
if: |
github.event_name != 'push' ||
github.ref != 'refs/heads/master' ||
!contains(github.event.head_commit.message, '[no release]')
on:
workflow_dispatch: # allows manual triggering
inputs: