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