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

Enable the for-direction ESLint rule #8826

Merged
merged 1 commit into from
Aug 26, 2017
Merged

Enable the for-direction ESLint rule #8826

merged 1 commit into from
Aug 26, 2017

Conversation

Snuffleupagus
Copy link
Collaborator

See https://eslint.org/docs/rules/for-direction; helps avoid typos that would cause infinite for loops.

Also, updates eslint and eslint-plugin-mozilla to the latest available versions.

See https://eslint.org/docs/rules/for-direction; helps avoid typos that would cause infinite `for` loops.

Also, updates `eslint` and `eslint-plugin-mozilla` to the latest available versions.
@Snuffleupagus
Copy link
Collaborator Author

/botio lint

@pdfjsbot
Copy link

From: Bot.io (Linux m4)


Received

Command cmd_lint from @Snuffleupagus received. Current queue size: 0

Live output at: http://54.67.70.0:8877/b7994d2aa925db9/output.txt

@pdfjsbot
Copy link

From: Bot.io (Windows)


Received

Command cmd_lint from @Snuffleupagus received. Current queue size: 0

Live output at: http://54.215.176.217:8877/e096a7e44dee93b/output.txt

@pdfjsbot
Copy link

From: Bot.io (Linux m4)


Success

Full output at http://54.67.70.0:8877/b7994d2aa925db9/output.txt

Total script time: 1.20 mins

  • Lint: Passed

@pdfjsbot
Copy link

From: Bot.io (Windows)


Success

Full output at http://54.215.176.217:8877/e096a7e44dee93b/output.txt

Total script time: 4.08 mins

  • Lint: Passed

@timvandermeij timvandermeij merged commit bd85bda into mozilla:master Aug 26, 2017
@timvandermeij
Copy link
Contributor

Nice addition!

@Snuffleupagus Snuffleupagus deleted the eslint_for-direction branch August 26, 2017 15:10
movsb pushed a commit to movsb/pdf.js that referenced this pull request Jul 14, 2018
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.

3 participants