Skip to content

[ci] chore(workflow): add solved label and correct milestone to issue when PR is merged (#252)#253

Merged
ncarenton merged 1 commit into
mainfrom
ci/update-linked-issues-on-merge
May 21, 2026
Merged

[ci] chore(workflow): add solved label and correct milestone to issue when PR is merged (#252)#253
ncarenton merged 1 commit into
mainfrom
ci/update-linked-issues-on-merge

Conversation

@ncarenton
Copy link
Copy Markdown
Member

Proposed changes

  • Add solved and correct milestone to issue when PR is merged

Related issues

Checklist

  • I consider the submitted work as finished
  • I tested the code for its functionality

@github-actions github-actions Bot added the filigran team use to identify PR from the Filigran team label May 21, 2026
@codecov
Copy link
Copy Markdown

codecov Bot commented May 21, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 70.34%. Comparing base (fd74768) to head (ca61f51).

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #253   +/-   ##
=======================================
  Coverage   70.34%   70.34%           
=======================================
  Files          49       49           
  Lines        1966     1966           
=======================================
  Hits         1383     1383           
  Misses        583      583           
Flag Coverage Δ
connectors 70.34% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@ncarenton ncarenton changed the title [ci] chore(workflow): add solved label and correct milestone to issue when PR is merged [ci] chore(workflow): add solved label and correct milestone to issue when PR is merged (#252) May 21, 2026
@ncarenton ncarenton merged commit 67a8b68 into main May 21, 2026
16 checks passed
@ncarenton ncarenton deleted the ci/update-linked-issues-on-merge branch May 21, 2026 13:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

filigran team use to identify PR from the Filigran team

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[ci] Automatically add "solved" label and correct milestone to issue when PR is merged

2 participants