patrick96 6f8db4a3fe ci: Use codecov token ... This wasn't required for PRs but for the job that runs on the `master` branch, the job fails without the token (because it's a protected branch)		2024-08-04 13:55:04 +02:00
..
ci.yml	ci: Use codecov token	2024-08-04 13:55:04 +02:00
release.yml	Remove colon from download header	2023-11-05 22:05:40 +01:00