1. 2052bde CI: Make codecov less demanding by Marc Kupietz ยท 6 days ago