Historie revizí

Autor SHA1 Zpráva Datum
  TW 08f06ca21b Merge pull request #5549 from ThomasWaldmann/gha-timeout před 5 roky
  Samuel 68610fa55f Upload coverage reports to codecov před 5 roky
  Thomas Waldmann 245c21fd98 adapt to 1.1-maint před 5 roky
  Thomas Waldmann 3e50a07d66 backport github ci workflow před 5 roky