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

Update to Chrome DevTools Protocol version 1253004 #340

Merged
merged 1 commit into from
Jan 30, 2024

Conversation

github-actions[bot]
Copy link
Contributor

This PR updates the protocol definitions (under protocol/) to the latest version found in
the devtools-protocol github repo.

The ABI descriptors (under api/) are also updated to reflect the changes in the generated code.

@github-actions github-actions bot changed the title Update to Chrome DevTools Protocol version 1245094 Update to Chrome DevTools Protocol version 1247362 Jan 17, 2024
@github-actions github-actions bot changed the title Update to Chrome DevTools Protocol version 1247362 Update to Chrome DevTools Protocol version 1248698 Jan 19, 2024
@github-actions github-actions bot changed the title Update to Chrome DevTools Protocol version 1248698 Update to Chrome DevTools Protocol version 1249784 Jan 21, 2024
@github-actions github-actions bot changed the title Update to Chrome DevTools Protocol version 1249784 Update to Chrome DevTools Protocol version 1249869 Jan 22, 2024
@github-actions github-actions bot force-pushed the protocol-update branch 3 times, most recently from 41563ea to 7e73de7 Compare January 24, 2024 04:20
@github-actions github-actions bot changed the title Update to Chrome DevTools Protocol version 1249869 Update to Chrome DevTools Protocol version 1250650 Jan 24, 2024
@github-actions github-actions bot changed the title Update to Chrome DevTools Protocol version 1250650 Update to Chrome DevTools Protocol version 1252439 Jan 27, 2024
@github-actions github-actions bot changed the title Update to Chrome DevTools Protocol version 1252439 Update to Chrome DevTools Protocol version 1253004 Jan 28, 2024
@joffrey-bion joffrey-bion merged commit 3a84c9f into main Jan 30, 2024
@joffrey-bion joffrey-bion deleted the protocol-update branch January 30, 2024 09:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant