Skip to content

Disable coveralls.io#6

Merged
mristin merged 1 commit intomainfrom
mristin/Disable-coveralls
Feb 27, 2026
Merged

Disable coveralls.io#6
mristin merged 1 commit intomainfrom
mristin/Disable-coveralls

Conversation

@mristin
Copy link
Contributor

@mristin mristin commented Feb 27, 2026

The coveralls.io seems to be down for a longer time, so we are disabling it for the moment in our continuous integration.

The coveralls.io seems to be down for a longer time, so we are
disabling it for the moment in our continuous integration.
@mristin mristin merged commit 8455f0c into main Feb 27, 2026
@mristin mristin deleted the mristin/Disable-coveralls branch February 27, 2026 15:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant