Skip to content

remove unnecessary cast#1811

Merged
xavdid merged 1 commit into
private-previewfrom
RUN_DEVSDK-2417
May 18, 2026
Merged

remove unnecessary cast#1811
xavdid merged 1 commit into
private-previewfrom
RUN_DEVSDK-2417

Conversation

@xavdid
Copy link
Copy Markdown
Member

@xavdid xavdid commented May 18, 2026

Why?

In 93e5088, we added a cast to work around an upstream type issue in requests == 2.34.1 that was failing our CI. This has since been fixed, so we can remove the cast.

What?

  • remove typecast on headers in _http_client

See Also

RUN_DEVSDK-2417

@xavdid xavdid requested a review from a team as a code owner May 18, 2026 18:51
@xavdid xavdid requested review from mbroshi-stripe and removed request for a team May 18, 2026 18:51
@xavdid xavdid enabled auto-merge May 18, 2026 18:51
@xavdid xavdid disabled auto-merge May 18, 2026 18:51
@xavdid xavdid enabled auto-merge May 18, 2026 18:52
@xavdid xavdid merged commit 447fdd9 into private-preview May 18, 2026
18 checks passed
@xavdid xavdid deleted the RUN_DEVSDK-2417 branch May 18, 2026 19:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants