WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
136618
Dashboard metrics should ignore commits that didn't trigger builds
https://bugs.webkit.org/show_bug.cgi?id=136618
Summary
Dashboard metrics should ignore commits that didn't trigger builds
Alexey Proskuryakov
Reported
2014-09-08 00:26:16 PDT
We have rules in wkbuild.py that let bots avoid wasting time on clearly irrelevant commits. The metrics page should take that into account.
Attachments
proposed patch
(16.76 KB, patch)
2014-09-08 00:36 PDT
,
Alexey Proskuryakov
no flags
Details
Formatted Diff
Diff
View All
Add attachment
proposed patch, testcase, etc.
Alexey Proskuryakov
Comment 1
2014-09-08 00:36:11 PDT
Created
attachment 237764
[details]
proposed patch
WebKit Commit Bot
Comment 2
2014-09-08 10:05:22 PDT
Comment on
attachment 237764
[details]
proposed patch Clearing flags on attachment: 237764 Committed
r173381
: <
http://trac.webkit.org/changeset/173381
>
WebKit Commit Bot
Comment 3
2014-09-08 10:05:28 PDT
All reviewed patches have been landed. Closing bug.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug