reduce eval worker #941

Merged

Mic92 merged 1 commits from ci into main

2024-03-12 16:34:25 +00:00

Author	SHA1	Message	Date
Jörg Thalheim	c4642ad041	reduce eval worker All checks were successful checks / check-links (pull_request) Successful in 20s Details checks / checks-impure (pull_request) Successful in 1m50s Details checks / checks (pull_request) Successful in 4m13s Details	2024-03-12 17:34:07 +01:00