Skip to content

Conversation

@jeetsuthar
Copy link
Contributor

Added navigation bar workflow.

Added navigation bar workflow.
@shravanngoswamii shravanngoswamii self-requested a review July 3, 2024 09:48
@shravanngoswamii
Copy link
Member

It's good to go!!

@coveralls
Copy link

coveralls commented Jul 3, 2024

Pull Request Test Coverage Report for Build 9775137370

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+3.2%) to 80.736%

Totals Coverage Status
Change from base Build 9678167735: 3.2%
Covered Lines: 2787
Relevant Lines: 3452

💛 - Coveralls

@coveralls
Copy link

coveralls commented Jul 3, 2024

Pull Request Test Coverage Report for Build 9775137370

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+3.9%) to 81.448%

Totals Coverage Status
Change from base Build 9678167735: 3.9%
Covered Lines: 2801
Relevant Lines: 3439

💛 - Coveralls

@codecov
Copy link

codecov bot commented Jul 3, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 80.01%. Comparing base (c9410de) to head (ee76122).

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #628      +/-   ##
==========================================
+ Coverage   76.62%   80.01%   +3.38%     
==========================================
  Files          29       29              
  Lines        3448     3452       +4     
==========================================
+ Hits         2642     2762     +120     
+ Misses        806      690     -116     

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

@yebai yebai merged commit 3b3840d into TuringLang:master Jul 4, 2024
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.

4 participants