Commit graph

4 commits

Author SHA1 Message Date
TW
08f06ca21b Merge pull request #5549 from ThomasWaldmann/gha-timeout
add a timeout for the github CI jobs, fixes #5548
2020-12-06 23:20:02 -06:00
Samuel
68610fa55f Upload coverage reports to codecov 2020-12-04 13:26:41 -06:00
Thomas Waldmann
245c21fd98 adapt to 1.1-maint 2020-11-04 02:01:50 +01:00
Thomas Waldmann
3e50a07d66 backport github ci workflow 2020-11-04 01:55:02 +01:00