Skip to content

Highlight terminated runners in yellow instead of red - #152

Merged
christiangnrd merged 1 commit into
mainfrom
mg/max-rss-colour
Aug 2, 2026
Merged

Highlight terminated runners in yellow instead of red#152
christiangnrd merged 1 commit into
mainfrom
mg/max-rss-colour

Commits

Commits on Aug 1, 2026