Jörg Thalheim 4fc48f38d5 reduce number of eval workers

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

..

checks-impure.yaml

CI: Created separate user for CI

2023-09-20 14:48:16 +02:00

checks.yaml

reduce number of eval workers

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