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

Add buildsize bot #1787

Closed
mAAdhaTTah opened this issue Mar 2, 2019 · 3 comments · Fixed by #2608
Closed

Add buildsize bot #1787

mAAdhaTTah opened this issue Mar 2, 2019 · 3 comments · Fixed by #2608

Comments

@mAAdhaTTah
Copy link
Member

I'd love to be able to see the impact on the output size of various PRs. E.g. #1776 has some minor improvements that suggest it could be good for the build size but would be nice to have a bot confirm that for us, especially as build size is something we're generally concerned about overall.

@ExE-Boss
Copy link
Contributor

ExE-Boss commented Mar 2, 2019

#1778 improved the code size too.

@mAAdhaTTah
Copy link
Member Author

@RunDevelopment
Copy link
Member

RunDevelopment commented Mar 2, 2019

That would be nice to have. I'm totally on board.

mAAdhaTTah added a commit that referenced this issue Oct 25, 2020
mAAdhaTTah added a commit that referenced this issue Oct 25, 2020
mAAdhaTTah added a commit that referenced this issue Oct 25, 2020
mAAdhaTTah added a commit that referenced this issue Oct 25, 2020
mAAdhaTTah added a commit that referenced this issue Oct 25, 2020
mAAdhaTTah added a commit that referenced this issue Oct 25, 2020
mAAdhaTTah added a commit that referenced this issue Oct 25, 2020
mAAdhaTTah added a commit that referenced this issue Oct 25, 2020
mAAdhaTTah added a commit that referenced this issue Oct 26, 2020
mAAdhaTTah added a commit that referenced this issue Oct 26, 2020
mAAdhaTTah added a commit that referenced this issue Nov 8, 2020
mAAdhaTTah added a commit that referenced this issue Nov 8, 2020
mAAdhaTTah added a commit that referenced this issue Nov 8, 2020
mAAdhaTTah added a commit that referenced this issue Nov 9, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants