Security note for users of the third-party Codecov tool: https://about.codecov.io/security-update/

Commit a18baba0 authored by Andreas Marek's avatar Andreas Marek

New interface: more test routines

parent c1fc7a0b