Skip to content

/ servo

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

Useful scripts for interacting with WPT logs #24841

Merged
merged 10 commits into from Nov 23, 2019
Merged

Useful scripts for interacting with WPT logs #24841

merged 10 commits into from Nov 23, 2019
+209 −0

Commits on Nov 22, 2019

  1. Add script to summarize WPT test directories with failing tests.

    @jdm
    jdm committed Nov 22, 2019
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    4c82161

  2. Add a script to extra logs for particular test filenames from full WP… 

    …T logs.
    @jdm
    jdm committed Nov 22, 2019
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    a634d90

  3. Add a script to report timing data for all tests in a WPT log.

    @jdm
    jdm committed Nov 22, 2019
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    ed715fc

  4. Fix tidy issues in wpt-timing.py.

    @jdm
    jdm committed Nov 22, 2019
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    5867e11

  5. Fix tidy issues in wpt-summarize.py.

    @jdm
    jdm committed Nov 22, 2019
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    46af28a

  6. Remove unused import.

    @jdm
    jdm committed Nov 22, 2019
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    6cad3db

  7. Add explanatory comment for wpt-summarize.py.

    @jdm
    jdm committed Nov 22, 2019
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    cc1aadf

  8. Add explanatory comment to wpt-timing.py.

    @jdm
    jdm committed Nov 22, 2019
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    0c294de

  9. Add explanatory comment for wpt_result_analyzer.py.

    @jdm
    jdm committed Nov 22, 2019
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    804780f

  10. Fix visual indent error.

    @jdm
    jdm committed Nov 22, 2019
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    41d1eca
You can’t perform that action at this time.