-
Notifications
You must be signed in to change notification settings - Fork 2.1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[Size reports] Script improvements (1/3) (#12886)
#### Problem Recent memory size investigations suggest some improvements: - Scripts use PR==0 to distinguish pull requests from master commits (push events), but it would be useful to record the associated PR along with commits. - Sometimes push events run on pull requests, and those are not currently distinguishable from master push events. - Sorting by build timestamp is inaccurate, since CI runs may finish in a different order than the commits. #### Change overview This is the first of three steps. - Use `event` rather than PR number to distinguish PR builds from master commit builds. - Record GitHub `event` and `ref` in the database representation, and add `ref` to the JSON (`event` was already present). - For master commits, use the commit timestamp rather than the build time. The second step will add the event to artifact names, so that it can be used to filter artifact downloads instead of PR==0. The third step will add the PR number from master commits, extracted from the commit message. #### Testing Manually run offline, but final confirmation requires live CI runs.
- Loading branch information
1 parent
34f9abf
commit 80ee395
Showing
3 changed files
with
99 additions
and
46 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters