Jakub Beránek 3f4b9dd463 Lower timeout of CI jobs to 4 hours ... The previous value, 10 hours, is unnecessarily long, since most of our jobs finish within 2.5 hours currently.		2024-07-12 11:27:46 +02:00
..
ci.yml	Lower timeout of CI jobs to 4 hours	2024-07-12 11:27:46 +02:00
dependencies.yml	awk stage0 file on CI	2024-05-09 16:49:51 +03:00