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

Two tools-related doc fixes #5744

Merged
merged 2 commits into from May 8, 2017

Conversation

jeffcarp
Copy link
Contributor

@jeffcarp jeffcarp commented May 1, 2017

  • Fix a broken link to lint-tool.md
  • Replace mention of wpt-tools repo with tools/ directory

This change is Reviewable

@jeffcarp jeffcarp requested a review from jgraham May 1, 2017 17:08
@w3c-bots
Copy link

w3c-bots commented May 1, 2017

View the complete job log.

Firefox (nightly channel)

Testing web-platform-tests at revision 46cfa71
Using browser at version BuildID 20170430100638; SourceStamp 2fe636103d7167f3a5d57f61bd19fddcc878ca3c
Starting 10 test iterations
No tests run.

@w3c-bots
Copy link

w3c-bots commented May 1, 2017

View the complete job log.

Chrome (unstable channel)

Testing web-platform-tests at revision 46cfa71
Using browser at version 60.0.3080.5 dev
Starting 10 test iterations
No tests run.

@jgraham
Copy link
Contributor

jgraham commented May 8, 2017

Reviewed 2 of 2 files at r1.
Review status: :shipit: all files reviewed at latest revision, all discussions resolved, all commit checks successful.


Comments from Reviewable

@jgraham jgraham merged commit 6770c9c into web-platform-tests:master May 8, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants