Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

update TAG_PROPAGATION_ALL #1227

Merged
merged 1 commit into from
Jul 25, 2023
Merged

update TAG_PROPAGATION_ALL #1227

merged 1 commit into from
Jul 25, 2023

Conversation

hermanventer
Copy link
Contributor

Description

PR #764 Added TagPropagation::Transmute but did not update the constant TAG_PROPAGATION_ALL to included this value. Thanks to @mimoo for pointing this out in #1225.

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • API change with a documentation update
  • Additional test coverage
  • Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

CI

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Jul 24, 2023
@codecov
Copy link

codecov bot commented Jul 24, 2023

Codecov Report

Merging #1227 (6310ad1) into main (d9d5d4b) will decrease coverage by 1%.
The diff coverage is n/a.

@@          Coverage Diff          @@
##            main   #1227   +/-   ##
=====================================
- Coverage     74%     74%   -1%     
=====================================
  Files         23      23           
  Lines      16537   16537           
=====================================
- Hits       12337   12336    -1     
- Misses      4200    4201    +1     

see 2 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@hermanventer hermanventer merged commit 850e729 into main Jul 25, 2023
8 checks passed
@hermanventer hermanventer deleted the transmute branch July 25, 2023 00:56
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants