Jörg Thalheim 4fc48f38d5 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