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

[Merged by Bors] - Reduce documentation size in blog #2383

Closed
wants to merge 1 commit into from
Closed

Conversation

jedel1043
Copy link
Member

The documentation page of our blog is a whooping 532 MB in size. This is because we're uploading the whole documentation of all our deps instead of only our crates. This PR modifies our CI to only upload a lightweight version of our documentation, which excludes all deps (replaces all hyperlinks with crates.io links) and only builds our crates docs. This brings the total size of our docs down to 87 MB.

@jedel1043 jedel1043 added documentation update documentation github_actions Pull requests that update Github_actions code labels Oct 26, 2022
@jedel1043 jedel1043 added this to the v0.17.0 milestone Oct 26, 2022
@github-actions
Copy link

Test262 conformance changes

Test result main count PR count difference
Total 93,789 93,789 0
Passed 69,150 69,150 0
Ignored 18,352 18,352 0
Failed 6,287 6,287 0
Panics 0 0 0
Conformance 73.73% 73.73% 0.00%

@codecov
Copy link

codecov bot commented Oct 26, 2022

Codecov Report

Merging #2383 (e6b6110) into main (89e3081) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #2383   +/-   ##
=======================================
  Coverage   39.88%   39.88%           
=======================================
  Files         304      304           
  Lines       23317    23317           
=======================================
  Hits         9300     9300           
  Misses      14017    14017           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@Razican
Copy link
Member

Razican commented Oct 26, 2022

Bors r+

bors bot pushed a commit that referenced this pull request Oct 26, 2022
The documentation page of our blog is a whooping 532 MB in size. This is because we're uploading the whole documentation of all our deps instead of only our crates. This PR modifies our CI to only upload a lightweight version of our documentation, which excludes all deps (replaces all hyperlinks with crates.io links) and only builds our crates docs. This brings the total size of our docs down to 87 MB.
@bors
Copy link

bors bot commented Oct 26, 2022

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Reduce documentation size in blog [Merged by Bors] - Reduce documentation size in blog Oct 26, 2022
@bors bors bot closed this Oct 26, 2022
@bors bors bot deleted the doc-size branch October 26, 2022 11:02
@RageKnify RageKnify added the Internal Category for changelog label Nov 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation update documentation github_actions Pull requests that update Github_actions code Internal Category for changelog
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants