Skip to content

Remove twoslash-repros workflow#63675

Merged
jakebailey merged 1 commit into
microsoft:mainfrom
jakebailey:remove-twoslash-repros
Jul 23, 2026
Merged

Remove twoslash-repros workflow#63675
jakebailey merged 1 commit into
microsoft:mainfrom
jakebailey:remove-twoslash-repros

Conversation

@jakebailey

Copy link
Copy Markdown
Member

This has been disabled for a while, just remove it

Copilot AI review requested due to automatic review settings July 23, 2026 18:13
@github-project-automation github-project-automation Bot moved this to Not started in PR Backlog Jul 23, 2026
@typescript-automation typescript-automation Bot added Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug labels Jul 23, 2026
@jakebailey
jakebailey requested a review from andrewbranch July 23, 2026 18:14
@jakebailey
jakebailey enabled auto-merge July 23, 2026 18:14
@github-project-automation github-project-automation Bot moved this from Not started to Needs merge in PR Backlog Jul 23, 2026

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Removes the previously-disabled GitHub Actions workflow that ran Twoslash code sample repro jobs, reducing unused CI/workflow surface area in the repo.

Changes:

  • Deleted the .github/workflows/twoslash-repros.yaml workflow definition.
  • Eliminated the scheduled/dispatch entrypoints and the associated Azure/GitHub App token setup previously required by that workflow.

@jakebailey
jakebailey added this pull request to the merge queue Jul 23, 2026
Merged via the queue into microsoft:main with commit cc5c6e2 Jul 23, 2026
22 checks passed
@jakebailey
jakebailey deleted the remove-twoslash-repros branch July 23, 2026 18:41
@github-project-automation github-project-automation Bot moved this from Needs merge to Done in PR Backlog Jul 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants