mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
This makes the fsanitize job secondary at all CI levels, including tag pushes (level 3). The fsanitize build has been OOM-killing on CI runners, blocking release page creation. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>