Skip to content

Conversation

@jenshnielsen
Copy link
Collaborator

This was added years ago and meant as a toc but its not being used as such.

@jenshnielsen jenshnielsen enabled auto-merge October 3, 2023 16:31
@codecov
Copy link

codecov bot commented Oct 3, 2023

Codecov Report

Merging #5411 (76760b7) into master (f57c9b8) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #5411   +/-   ##
=======================================
  Coverage   68.27%   68.27%           
=======================================
  Files         341      341           
  Lines       29901    29901           
=======================================
  Hits        20415    20415           
  Misses       9486     9486           

This was added years ago and meant as a toc but its not being used
@jenshnielsen jenshnielsen added this pull request to the merge queue Oct 3, 2023
Merged via the queue into microsoft:master with commit a1cb32e Oct 3, 2023
@jenshnielsen jenshnielsen deleted the remove_main_example branch October 3, 2023 19:06
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