public_git
/
whisper.cpp
mirror of https://github.com/ggml-org/whisper.cpp.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

ci : set GGML_NATIVE=OFF for sanitize builds (#3920) 

This commit sets GGML_NATIVE=OFF for all sanitize builds to avoid
the case where the compilation happens using a runner that support
instructions that may not be available on all runners leading to illegal
instruction and failed CI runs.

Refs: https://github.com/ggml-org/whisper.cpp/actions/runs/28444909499/job/84291639530?pr=3919
This commit is contained in:
Daniel Bevenius 2026-06-30 17:47:22 +02:00 committed by GitHub
parent 65dc3fece6
commit 0874de3e8e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/build-sanitize.yml vendored
View File

@ -58,6 +58,7 @@ jobs:
run: | run: |
cmake . -DCMAKE_BUILD_TYPE=Debug \ cmake . -DCMAKE_BUILD_TYPE=Debug \
-DWHISPER_SANITIZE_${{ matrix.sanitizer }}=ON \ -DWHISPER_SANITIZE_${{ matrix.sanitizer }}=ON \
-DGGML_NATIVE=OFF \
-DGGML_OPENMP=OFF -DGGML_OPENMP=OFF
make make
@ -65,7 +66,8 @@ jobs:
if: ${{ matrix.sanitizer == 'ADDRESS' }} if: ${{ matrix.sanitizer == 'ADDRESS' }}
run: | run: |
cmake . -DCMAKE_BUILD_TYPE=RelWithDebInfo \ cmake . -DCMAKE_BUILD_TYPE=RelWithDebInfo \
-DWHISPER_SANITIZE_${{ matrix.sanitizer }}=ON -DWHISPER_SANITIZE_${{ matrix.sanitizer }}=ON \
-DGGML_NATIVE=OFF
make make
- name: Build (no OpenMP) - name: Build (no OpenMP)
@ -73,6 +75,7 @@ jobs:
run: | run: |
cmake . -DCMAKE_BUILD_TYPE=RelWithDebInfo \ cmake . -DCMAKE_BUILD_TYPE=RelWithDebInfo \
-DWHISPER_SANITIZE_${{ matrix.sanitizer }}=ON \ -DWHISPER_SANITIZE_${{ matrix.sanitizer }}=ON \
-DGGML_NATIVE=OFF \
-DGGML_OPENMP=OFF -DGGML_OPENMP=OFF
make make