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

midistroke: disable #178668

Merged
merged 1 commit into from
Jul 5, 2024
Merged

midistroke: disable #178668

merged 1 commit into from
Jul 5, 2024

Conversation

khipp
Copy link
Member

@khipp khipp commented Jul 5, 2024

Important: Do not tick a checkbox if you haven’t performed its action. Honesty is indispensable for a smooth review process.

In the following questions <cask> is the token of the cask you're submitting.

After making any changes to a cask, existing or new, verify:

Additionally, if adding a new cask:

  • Named the cask according to the token reference.
  • Checked the cask was not already refused (add your cask's name to the end of the search field).
  • brew audit --cask --new <cask> worked successfully.
  • HOMEBREW_NO_INSTALL_FROM_API=1 brew install --cask <cask> worked successfully.
  • brew uninstall --cask <cask> worked successfully.

The project is no longer maintained (source).

Related to #171006.

@khipp khipp force-pushed the update-midistroke branch from 1d832d4 to 1497dc8 Compare July 5, 2024 16:52
Signed-off-by: Justin Krehel <[email protected]>
@krehel krehel force-pushed the update-midistroke branch from 1497dc8 to cb006d2 Compare July 5, 2024 17:27
@krehel
Copy link
Member

krehel commented Jul 5, 2024

Disabled as it is a 32 bit application.

@krehel krehel added the ci-syntax-only Only run syntax checks on CI. Use only for bulk changes. label Jul 5, 2024
@krehel krehel changed the title midistroke: deprecate midistroke: disable Jul 5, 2024
@krehel krehel added the ready to merge PR can be merged once CI is green label Jul 5, 2024
@krehel krehel enabled auto-merge July 5, 2024 17:31
auto-merge was automatically disabled July 5, 2024 18:42

Pull Request is not mergeable

@p-linnane p-linnane merged commit 938c4ea into Homebrew:master Jul 5, 2024
12 checks passed
@khipp khipp deleted the update-midistroke branch July 5, 2024 18:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ci-syntax-only Only run syntax checks on CI. Use only for bulk changes. ready to merge PR can be merged once CI is green
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants