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