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

Transfer all high-level docs to TuringTutorials #1933

Merged
merged 2 commits into from
Jul 30, 2023
Merged

Conversation

yebai
Copy link
Member

@yebai yebai commented Jan 6, 2023

Companion PR of TuringLang/docs#375

@yebai yebai marked this pull request as draft January 6, 2023 20:35
@codecov
Copy link

codecov bot commented Jan 6, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (4d41959) 0.00% compared to head (d326ded) 0.00%.

❗ Current head d326ded differs from pull request most recent head 788b6e1. Consider uploading reports for the commit 788b6e1 to get more accurate results

Additional details and impacted files
@@          Coverage Diff           @@
##           master   #1933   +/-   ##
======================================
  Coverage    0.00%   0.00%           
======================================
  Files          22      21    -1     
  Lines        1452    1432   -20     
======================================
+ Misses       1452    1432   -20     

see 16 files with indirect coverage changes

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

@coveralls
Copy link

coveralls commented Jan 6, 2023

Pull Request Test Coverage Report for Build 5707747434

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 0.0%

Totals Coverage Status
Change from base Build 5702124313: 0.0%
Covered Lines: 0
Relevant Lines: 1452

💛 - Coveralls

@yebai yebai marked this pull request as ready for review July 30, 2023 18:24
@yebai yebai merged commit 28d3959 into master Jul 30, 2023
@yebai yebai deleted the hg/transfer-docs branch July 30, 2023 18:25
yebai added a commit that referenced this pull request Jul 30, 2023
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