-
Notifications
You must be signed in to change notification settings - Fork 2
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
Change name of devtools to choreographer #142
Conversation
|
FYI the major test PR is here: https://github.com/geopozo/devtools_protocol/pull/15 |
.github/workflows/test.yml
Outdated
@@ -10,7 +10,7 @@ jobs: | |||
- name: Install Dependencies | |||
run: sudo apt-get update && sudo apt-get install chromium-browser xvfb | |||
#- uses: ./.github/actions/ # it would be nice but it doesn't support timeout-minutes | |||
- name: Install devtools | |||
- name: Install Choreographer |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
why the upper-case 'C' in this test.yml
file but lower-case 'c' elsewhere in this PR?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
2nd grade "titles should be capitalized!" habit
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
one question but good to go
Change name of devtools to choreographer