Skip to content

Print max RSS in red if a worker is to be killed - #151

Merged
christiangnrd merged 2 commits into
JuliaTesting:mainfrom
christiangnrd:redrss
Jul 29, 2026
Merged

Print max RSS in red if a worker is to be killed#151
christiangnrd merged 2 commits into
JuliaTesting:mainfrom
christiangnrd:redrss

Add mention of red RSS

0a58e30
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test (1, default, macOS-latest)
succeeded Jul 28, 2026 in 1m 58s