Skip to content
This repository was archived by the owner on Dec 25, 2023. It is now read-only.

Disable coveralls#270

Merged
pascalberger merged 1 commit intodevelopfrom
feature/disable-coveralls
Jul 20, 2022
Merged

Disable coveralls#270
pascalberger merged 1 commit intodevelopfrom
feature/disable-coveralls

Conversation

@pascalberger
Copy link
Copy Markdown
Member

Disable coveralls since it is currently failing

@pascalberger pascalberger requested a review from a team as a code owner July 20, 2022 19:38
@pascalberger pascalberger force-pushed the feature/disable-coveralls branch from 4df8f0c to ab0389e Compare July 20, 2022 19:38
@pascalberger pascalberger merged commit ae78852 into develop Jul 20, 2022
@pascalberger pascalberger deleted the feature/disable-coveralls branch July 20, 2022 20:07
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant