Skip to content

fix: make EduIDEWarmPoolEmpty detect a warm pool that is gone - #38

Merged
Mtze merged 1 commit into
mainfrom
fix/warmpool-empty-detection
Aug 28, 2026
Merged

fix: make EduIDEWarmPoolEmpty detect a warm pool that is gone#38
Mtze merged 1 commit into
mainfrom
fix/warmpool-empty-detection

fix: make EduIDEWarmPoolEmpty detect a warm pool that is gone

c2bfaf1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar