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

[RELEASE] Fix tagging for realz #538

Merged
merged 4 commits into from
May 5, 2023
Merged

[RELEASE] Fix tagging for realz #538

merged 4 commits into from
May 5, 2023

Conversation

nickclyde
Copy link
Member

Version included phdi

@nickclyde nickclyde requested a review from DanPaseltiner May 5, 2023 20:13
@codecov
Copy link

codecov bot commented May 5, 2023

Codecov Report

Merging #538 (de06170) into main (9a2739e) will not change coverage.
The diff coverage is n/a.

❗ Current head de06170 differs from pull request most recent head fb36fc2. Consider uploading reports for the commit fb36fc2 to get more accurate results

@@           Coverage Diff           @@
##             main     #538   +/-   ##
=======================================
  Coverage   96.48%   96.48%           
=======================================
  Files          45       45           
  Lines        2473     2473           
=======================================
  Hits         2386     2386           
  Misses         87       87           
Flag Coverage Δ
unit-tests 96.48% <ø> (ø)

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

@nickclyde nickclyde merged commit 4fd35ac into main May 5, 2023
@nickclyde nickclyde deleted the nick/fix-tagging branch May 5, 2023 20:17
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