Skip to content

Remove repin-consumers.yaml - #176

Merged
giarc3 merged 1 commit into
mainfrom
remove-repin
Aug 25, 2026
Merged

Remove repin-consumers.yaml#176
giarc3 merged 1 commit into
mainfrom
remove-repin

Conversation

@giarc3

@giarc3 giarc3 commented Aug 25, 2026

Copy link
Copy Markdown
Member

Now that it's done making PRs, the workflow isn't needed anymore

@giarc3
giarc3 requested a review from a team as a code owner August 25, 2026 16:19
@giarc3
giarc3 requested review from coltfred and removed request for a team August 25, 2026 16:19
@github-actions

Copy link
Copy Markdown

File Coverage Lines
All files 66% 66%

Minimum allowed coverage is 24%

Generated by 🐒 cobertura-action against 7022c5e

@giarc3
giarc3 merged commit 8efe30b into main Aug 25, 2026
13 checks passed
@giarc3
giarc3 deleted the remove-repin branch August 25, 2026 16: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.

2 participants