Skip to content

workflows/tests: typecheck core & cask taps#22013

Merged
MikeMcQuaid merged 2 commits into
mainfrom
typecheck-taps
Apr 14, 2026
Merged

workflows/tests: typecheck core & cask taps#22013
MikeMcQuaid merged 2 commits into
mainfrom
typecheck-taps

Conversation

@Bo98
Copy link
Copy Markdown
Member

@Bo98 Bo98 commented Apr 14, 2026

So that we can check for things like Homebrew/homebrew-core#277429.

Copilot AI review requested due to automatic review settings April 14, 2026 03:15
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR expands Homebrew’s CI typechecking to include official taps by allowing brew typecheck to accept multiple tap arguments and then invoking it for homebrew/core and homebrew/cask in the tap-syntax workflow.

Changes:

  • Update brew typecheck to pass multiple tap directories to srb tc (instead of only the first tap).
  • Install the typecheck Bundler group in the tap-syntax CI job.
  • Add a new CI step to run brew typecheck homebrew/core homebrew/cask.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File Description
Library/Homebrew/dev-cmd/typecheck.rb Extends Sorbet invocation to include multiple tap directories.
.github/workflows/tests.yml Adds a brew typecheck run for homebrew/core and homebrew/cask in CI and ensures needed gems are installed.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread .github/workflows/tests.yml
Comment thread Library/Homebrew/dev-cmd/typecheck.rb
@ZhongRuoyu
Copy link
Copy Markdown
Member

Makes sense, thanks!

Copy link
Copy Markdown
Member

@MikeMcQuaid MikeMcQuaid left a comment

Choose a reason for hiding this comment

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

Nice, thanks!

@MikeMcQuaid MikeMcQuaid added this pull request to the merge queue Apr 14, 2026
Merged via the queue into main with commit 0d8620e Apr 14, 2026
43 checks passed
@MikeMcQuaid MikeMcQuaid deleted the typecheck-taps branch April 14, 2026 07:55
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.

4 participants