Skip to content

add missing coverage comment - #1324

Merged
asottile merged 1 commit into
mainfrom
coverage-comment-missing
Aug 16, 2026
Merged

add missing coverage comment#1324
asottile merged 1 commit into
mainfrom
coverage-comment-missing

Conversation

@asottile

Copy link
Copy Markdown
Member

No description provided.

@asottile
asottile enabled auto-merge August 16, 2026 19:24
@asottile
asottile disabled auto-merge August 16, 2026 19:25
@asottile
asottile merged commit d6c3854 into main Aug 16, 2026
11 checks passed
@asottile
asottile deleted the coverage-comment-missing branch August 16, 2026 19:25
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