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

Adding RichNav indexing #5267

Merged
merged 9 commits into from
Jul 25, 2021
Merged

Adding RichNav indexing #5267

merged 9 commits into from
Jul 25, 2021

Conversation

brianaeng
Copy link
Contributor

@brianaeng brianaeng commented Jul 20, 2021

This PR adds a new build pipeline yml which runs RichNav indexing. A new pipeline from this yml will need to be created manually on Azure DevOps.

This was validated by copying the step to the PR build yml and having it run there:
RichNav run in PR build pipeline

@brianaeng brianaeng requested a review from a team as a code owner July 20, 2021 18:41
@codecov
Copy link

codecov bot commented Jul 21, 2021

Codecov Report

Merging #5267 (50e3c65) into main (8ca2a79) will increase coverage by 0.00%.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #5267   +/-   ##
=======================================
  Coverage   95.58%   95.58%           
=======================================
  Files        1200     1200           
  Lines      276349   276349           
  Branches    16632    16632           
=======================================
+ Hits       264142   264145    +3     
  Misses      10017    10017           
+ Partials     2190     2187    -3     

@brianaeng brianaeng changed the title [Test, please ignore] Adding RichNav indexing Adding RichNav indexing Jul 22, 2021
@jmarolf jmarolf merged commit 75d0251 into dotnet:main Jul 25, 2021
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