Jonas Platte 1fea48359d ci: Checkout head ref instead of merge commit for coverage ...

… this *should* fix bogus coverage change reporting.

2022-08-04 23:43:49 +02:00

..

workflows

ci: Checkout head ref instead of merge commit for coverage

2022-08-04 23:43:49 +02:00