Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI: update PR branch testing instructions on merge #1211

Merged
merged 1 commit into from
Jul 12, 2024

Conversation

emmercm
Copy link
Owner

@emmercm emmercm commented Jul 12, 2024

No description provided.

@emmercm emmercm self-assigned this Jul 12, 2024
@emmercm emmercm enabled auto-merge (squash) July 12, 2024 15:12
Copy link

codecov bot commented Jul 12, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 93.10%. Comparing base (92d4f03) to head (9fb71ac).

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #1211   +/-   ##
=======================================
  Coverage   93.10%   93.10%           
=======================================
  Files         105      105           
  Lines        6498     6498           
  Branches     1432     1432           
=======================================
  Hits         6050     6050           
  Misses        447      447           
  Partials        1        1           

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

@emmercm emmercm merged commit 895ce43 into main Jul 12, 2024
32 checks passed
@emmercm emmercm deleted the emmercm/gh-exec-comment-update branch July 12, 2024 15:16
Copy link

🔒 Inactive pull request lock

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

Comment generated by the GitHub Lock Issues workflow.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 12, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant