Skip to content

Build modifications for Coveralls#1459

Merged
scottf merged 1 commit intomainfrom
redo-coveralls
Oct 15, 2025
Merged

Build modifications for Coveralls#1459
scottf merged 1 commit intomainfrom
redo-coveralls

Conversation

@scottf
Copy link
Contributor

@scottf scottf commented Oct 15, 2025

No description provided.

Copy link
Member

@aricart aricart left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@scottf scottf merged commit 8ff90ab into main Oct 15, 2025
5 checks passed
@scottf scottf deleted the redo-coveralls branch October 15, 2025 18:26
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.

2 participants