Skip to content

chore(ci): use labeler for PR labeling#81

Merged
baptistegh merged 1 commit intomainfrom
bg/release-please-changelog
Jul 20, 2025
Merged

chore(ci): use labeler for PR labeling#81
baptistegh merged 1 commit intomainfrom
bg/release-please-changelog

Conversation

@baptistegh
Copy link
Copy Markdown
Owner

Notes

Waiting for actions/labeler#866

@baptistegh baptistegh requested a review from IDerr as a code owner July 18, 2025 11:02
@github-actions github-actions Bot added the ci This asks a change on CI label Jul 18, 2025
@codecov
Copy link
Copy Markdown

codecov Bot commented Jul 18, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

📢 Thoughts on this report? Let us know!

@baptistegh baptistegh force-pushed the bg/release-please-changelog branch from 753d846 to a59e3e3 Compare July 20, 2025 19:00
@baptistegh baptistegh force-pushed the bg/release-please-changelog branch from a59e3e3 to 8f6dbf4 Compare July 20, 2025 19:00
@baptistegh baptistegh enabled auto-merge (squash) July 20, 2025 19:01
@baptistegh baptistegh merged commit 757ac84 into main Jul 20, 2025
7 checks passed
@baptistegh baptistegh deleted the bg/release-please-changelog branch July 20, 2025 19:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci This asks a change on CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant