Skip to content

Conversation

@jackfirth
Copy link
Owner

It's doing something funky and preventing Coveralls from leaving PR comments. I think.

It's doing something funky and preventing Coveralls from leaving PR comments. I think.
@jackfirth jackfirth enabled auto-merge (squash) October 29, 2025 09:43
@jackfirth jackfirth disabled auto-merge October 29, 2025 09:45
@jackfirth
Copy link
Owner Author

Actually things are working fine, nevermind.

@jackfirth jackfirth closed this Oct 29, 2025
@jackfirth
Copy link
Owner Author

Wait, nope, something's still messed up.

@jackfirth jackfirth reopened this Oct 29, 2025
@jackfirth jackfirth enabled auto-merge (squash) October 29, 2025 09:57
@jackfirth jackfirth merged commit e5cc4ff into master Oct 29, 2025
9 checks passed
@jackfirth jackfirth deleted the coverage-workflow branch October 29, 2025 09:59
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