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

Fix playground Quick Fix action #7824

Merged
merged 1 commit into from
Oct 5, 2023
Merged

Fix playground Quick Fix action #7824

merged 1 commit into from
Oct 5, 2023

Conversation

dhruvmanila
Copy link
Member

Summary

This PR fixes the playground code action to start working again. It seems that
the field name was changed from edit to textEdit in some version.

Resources:

Test Plan

Tested it out running locally.

@dhruvmanila
Copy link
Member Author

Current dependencies on/for this PR:

This comment was auto-generated by Graphite.

@dhruvmanila dhruvmanila linked an issue Oct 5, 2023 that may be closed by this pull request
@dhruvmanila dhruvmanila changed the title Fix playground code action Fix playground Quick Fix action Oct 5, 2023
@dhruvmanila dhruvmanila added the playground A playground-specific issue label Oct 5, 2023
@codspeed-hq
Copy link

codspeed-hq bot commented Oct 5, 2023

CodSpeed Performance Report

Merging #7824 will improve performances by 2.42%

Comparing dhruv/playground-fix (390b42e) with main (76fcf63)

Summary

⚡ 1 improvements
✅ 24 untouched benchmarks

Benchmarks breakdown

Benchmark main dhruv/playground-fix Change
linter/default-rules[pydantic/types.py] 38.9 ms 38 ms +2.42%

@dhruvmanila dhruvmanila merged commit adb6580 into main Oct 5, 2023
16 checks passed
@dhruvmanila dhruvmanila deleted the dhruv/playground-fix branch October 5, 2023 06:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
playground A playground-specific issue
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Playground's Quick Fix doesn't apply the edits
1 participant