sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

chore: CI: disable problematic fsanitize tests (#11415)

Browse Source
This commit is contained in:
Sebastian Ullrich
2025-11-28 11:25:58 +01:00
committed by GitHub
parent 958aa713fa
commit b19468f81c
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/ci.yml vendored
View File

@@ -267,7 +267,8 @@ jobs:
"CMAKE_PRESET": "sanitize",
// `StackOverflow*` correctly triggers ubsan
// `reverse-ffi` fails to link in sanitizers
"CTEST_OPTIONS": "-E 'StackOverflow|reverse-ffi'"
// `interactive` fails/timeouts nondeterministically, would need to be investigated.
"CTEST_OPTIONS": "-E 'StackOverflow|reverse-ffi|interactive'"
},
{
"name": "macOS",