Simon de Vlieger 76a80bd8c5 ci: remove codecov ... `codecov` often reports weird diffs and we rarely take action on a codecov failure in CI. This closes #1263.		2023-04-01 15:12:58 +02:00
..
workflows	ci: remove codecov	2023-04-01 15:12:58 +02:00
mergify.yml	[skip ci] ci: switch to using automerge	2021-12-08 14:13:43 +01:00