ci(nightly): resolve tree-borrows termination and improve nightly stability#479

Open

sgalkin wants to merge 26 commits into

mainfrom

u/sgalkin/nightly

Commits on Jun 4, 2026

chore(actions): reduce number of Miri seeds per nightly run
Sergey Galkin
committed
extend timeout for miri steps
Sergey Galkin
committed
fixup! extend timeout for miri steps
Sergey Galkin
committed
debug(miri): add OOM diagnostics to miri-tree-borrows job

Sergey Galkin
and
Copilot
committed
debug(miri): add cgroup and resource limit diagnostics

Sergey Galkin
and
Copilot
committed
debug(miri): disable other jobs, focus on tree-borrows only

Sergey Galkin
and
Copilot
committed
debug(miri): use ubuntu-latest-8-cores runner (32 GB RAM)

Sergey Galkin
and
Copilot
committed
debug(miri): isolate heavy crates to per-test Miri processes

Sergey Galkin
and
Copilot
committed
debug(miri): revert to ubuntu-latest runner

Sergey Galkin
and
Copilot
committed
debug(miri): fix isolation to use --lib only for per-test runs

Sergey Galkin
and
Copilot
committed
debug(miri): try ubuntu-latest-8-cores runner

Sergey Galkin
and
Copilot
committed
debug(miri): skip OOM-inducing u16::MAX tests in tree-borrows

Sergey Galkin
and
Copilot
committed
fix(miri): add configurable skip-tests input for tree-borrows job

Sergey Galkin
and
Copilot
committed
fix(miri): only skip the confirmed OOM test

Sergey Galkin
and
Copilot
committed
fix(miri): use full module path for skipped test

Sergey Galkin
and
Copilot
committed
fix(miri): use skip file for tree-borrows test exclusions

Sergey Galkin
and
Copilot
committed

Commits on Jun 5, 2026

fix(miri): skip try_alloc_uninit_slice_arc OOM test in tree-borrows

Sergey Galkin
and
Copilot
committed
fix(miri): add suppression file for tree-borrows OOM tests

Sergey Galkin
and
Copilot
committed
docs(miri): document suppression file in nightly workflow

Sergey Galkin
and
Copilot
committed
Merge branch 'sgalkin-microsoft/debug-miri-tree-borrows-oom' into u/sgalkin/nightly
Sergey Galkin
committed
docs(miri): document daily seed rotation in race-coverage job

Sergey Galkin
and
Copilot
committed
Potential fix for pull request finding

sgalkin
and
Copilot
authored
fix(miri): address PR review feedback

Sergey Galkin
and
Copilot
committed
Merge branch 'main' into u/sgalkin/nightly
sgalkin
authored
Potential fix for pull request finding

sgalkin
and
Copilot
authored
Potential fix for pull request finding

sgalkin
and
Copilot
authored