Documentation and Turing Navigation CI improvement

[shravanngoswamii]

Using Turing Actions for Documentation and global Turing Navigation bar!
Reference: TuringLang/actions#12

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.45%. Comparing base (eb08db0) to head (551b43a).
Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #2484   +/-   ##
=======================================
  Coverage   84.45%   84.45%           
=======================================
  Files          21       21           
  Lines        1570     1570           
=======================================
  Hits         1326     1326           
  Misses        244      244           

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

[coveralls]

Pull Request Test Coverage Report for Build 13224942972

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

• For more information on this, see Tracking coverage changes with pull request builds.
• To avoid this issue with future PRs, see these Recommended CI Configurations.
• For a quick fix, rebase this PR at GitHub. Your next report should be accurate.

Details

• 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 75.831%

---

Totals
Change from base Build 12998258938:	0.0%
Covered Lines:	1186
Relevant Lines:	1564

---

💛 - Coveralls