Marek Siarkowicz 56830df3ef
Merge pull request #14016 from serathius/coverage-push
coverage: Run coverage only on push
2022-05-06 13:13:18 +02:00
..
2022-05-04 05:48:53 +08:00
2022-03-23 20:11:12 +01:00
2022-03-23 20:11:12 +01:00
2022-03-23 20:11:12 +01:00
2022-03-23 20:11:12 +01:00
2022-04-26 15:42:45 +02:00
2022-03-23 20:11:12 +01:00
2022-03-23 20:11:12 +01:00