Skip to content

Sync vendored typeshed stubs#13753

Merged
AlexWaygood merged 2 commits intomainfrom
typeshedbot/sync-typeshed
Oct 15, 2024
Merged

Sync vendored typeshed stubs#13753
AlexWaygood merged 2 commits intomainfrom
typeshedbot/sync-typeshed

Conversation

@github-actions
Copy link
Contributor

Close and reopen this PR to trigger CI

@github-actions github-actions bot requested a review from carljm as a code owner October 15, 2024 00:26
@github-actions github-actions bot added the internal An internal refactor or improvement label Oct 15, 2024
@AlexWaygood AlexWaygood reopened this Oct 15, 2024
@dhruvmanila
Copy link
Member

I wonder if gh workflow run can trigger the CI here which uses the workflow_dispatch event because as per https://docs.github.com/en/actions/security-for-github-actions/security-guides/automatic-token-authentication#using-the-github_token-in-a-workflow it should (?):

When you use the repository's GITHUB_TOKEN to perform tasks, events triggered by the GITHUB_TOKEN, with the exception of workflow_dispatch and repository_dispatch, will not create a new workflow run.

@AlexWaygood
Copy link
Member

The failing test was broken by python/typeshed#12714 (actually a change we asked for 😄). It should be a pretty simple fix.

@AlexWaygood
Copy link
Member

I wonder if gh workflow run can trigger the CI here which uses the workflow_dispatch event

Ooh, that would be great if we can get it to work!

@AlexWaygood AlexWaygood enabled auto-merge (squash) October 15, 2024 13:31
@AlexWaygood AlexWaygood merged commit 5fa82fb into main Oct 15, 2024
@AlexWaygood AlexWaygood deleted the typeshedbot/sync-typeshed branch October 15, 2024 13:36
@github-actions
Copy link
Contributor Author

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal An internal refactor or improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants