Skip to content

Ensure coverage is uploaded despite leading dot#71

Merged
hynek merged 1 commit intomainfrom fix-ciOct 25, 2024