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

chore: Exclude weight files from stats #2950

Merged
merged 1 commit into from
Jul 17, 2023
Merged

Conversation

ark0f
Copy link
Member

@ark0f ark0f commented Jul 16, 2023

No description provided.

@ark0f ark0f added A1-inprogress Issue is in progress or PR draft is not ready to be reviewed D5-tooling Helper tools and utilities labels Jul 16, 2023
@ark0f ark0f force-pushed the al-exclude-weights-from-stats branch from 6319b65 to 75fa1c1 Compare July 16, 2023 00:16
@ark0f ark0f changed the title Exclude weight files from stats chore: Exclude weight files from stats Jul 16, 2023
@ark0f ark0f added A0-pleasereview PR is ready to be reviewed by the team and removed A1-inprogress Issue is in progress or PR draft is not ready to be reviewed labels Jul 16, 2023
Copy link
Member

@gshep gshep left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool! 💯

@ark0f ark0f merged commit 6e1bc61 into master Jul 17, 2023
19 checks passed
@ark0f ark0f deleted the al-exclude-weights-from-stats branch July 17, 2023 14:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A0-pleasereview PR is ready to be reviewed by the team D5-tooling Helper tools and utilities
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants