Skip to content

start tracking documentation size (and source, while we're at it) #2644

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 1 commit into from
Oct 23, 2024

Conversation

syphar
Copy link
Member

@syphar syphar commented Oct 20, 2024

Resolves #2238

for now just the full documentation for all targets, not target specific sizes.

I'm both tracking it as a prometheus metric, and in the database in the builds-table. Since the table also has the nightly version we can also compare specific versions.

@syphar syphar requested a review from a team as a code owner October 20, 2024 06:32
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Oct 20, 2024
@GuillaumeGomez
Copy link
Member

Nice improvement, thanks!

@GuillaumeGomez GuillaumeGomez merged commit e7d5518 into rust-lang:master Oct 23, 2024
11 checks passed
@github-actions github-actions bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Oct 23, 2024
@syphar syphar deleted the documentation-size branch October 23, 2024 13:09
@syphar syphar removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Oct 23, 2024
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Metric recording built documentation size
2 participants