Skip to content

chore: move some things that had been moved but later touched in main again - #6751

Merged
jennifer-richards merged 1 commit into
ietf-tools:feat/rfcfrom
rjsparks:i_meant_it
Dec 7, 2023
Merged

chore: move some things that had been moved but later touched in main again#6751
jennifer-richards merged 1 commit into
ietf-tools:feat/rfcfrom
rjsparks:i_meant_it

Conversation

@rjsparks

@rjsparks rjsparks commented Dec 7, 2023

Copy link
Copy Markdown
Member

No description provided.

@codecov

codecov Bot commented Dec 7, 2023

Copy link
Copy Markdown

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (79cac6e) 88.80% compared to head (b4b3768) 88.80%.
Report is 4 commits behind head on feat/rfc.

Additional details and impacted files
@@             Coverage Diff              @@
##           feat/rfc    #6751      +/-   ##
============================================
- Coverage     88.80%   88.80%   -0.01%     
============================================
  Files           285      285              
  Lines         40277    40280       +3     
============================================
+ Hits          35770    35771       +1     
- Misses         4507     4509       +2     

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

@jennifer-richards
jennifer-richards merged commit 4823dfe into ietf-tools:feat/rfc Dec 7, 2023
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Dec 11, 2023
@rjsparks
rjsparks deleted the i_meant_it branch January 9, 2024 21:20
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.

2 participants