Add missing demonitor() calls #11

Merged

uwiger merged 4 commits from uw-demonitor into master 2025-08-27 19:28:50 +09:00

Conversation 2 Commits 4 Files Changed 17

+42 -11

4 Commits

Author	SHA1	Message	Date
Ulf Wiger	196a2d9949	Reset worker errors, retry failed workers	2025-08-21 22:46:54 +02:00
Ulf Wiger	d61f103945	update gmhive_worker dep, bump patch vsn	2025-08-21 16:46:11 +02:00
Ulf Wiger	0a76bada43	bump zx patch vsn	2025-08-20 20:44:55 +02:00
Ulf Wiger	36a11575d2	Add missing demonitor() calls	2025-08-20 20:43:22 +02:00