Jörg Thalheim b4c5168855 reduce number of eval workers

2024-01-04 17:18:10 +01:00

..

workflows

reduce number of eval workers

2024-01-04 17:18:10 +01:00