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.

Sign up for GitHub

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

Jump to bottom

ne: Fix build with TexInfo > 6 #135690

Merged
merged 2 commits into from
Jul 4, 2023
Merged

ne: Fix build with TexInfo > 6 #135690

merged 2 commits into from
Jul 4, 2023

Conversation

iMichka
Copy link
Member

@iMichka iMichka commented Jul 3, 2023

Fixes build on Ventura too
See vigna/ne@90ae494 and vigna/ne#109 (comment)

  • Have you followed the guidelines for contributing?
  • Have you ensured that your commits follow the commit style guide?
  • Have you checked that there aren't other open pull requests for the same formula update/change?
  • Have you built your formula locally with brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
  • Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
  • Does your build pass brew audit --strict <formula> (after doing brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

@github-actions github-actions bot added the deprecated license Formula uses a deprecated SPDX license which should be updated label Jul 3, 2023
@iMichka iMichka mentioned this pull request Jul 3, 2023
Closed
@chenrui333 chenrui333 added the CI-no-bottles Merge without publishing bottles label Jul 4, 2023
@BrewTestBot BrewTestBot added this pull request to the merge queue Jul 4, 2023
@chenrui333 chenrui333 removed this pull request from the merge queue due to a manual request Jul 4, 2023
@chenrui333 chenrui333 removed the CI-no-bottles Merge without publishing bottles label Jul 4, 2023
@github-actions
Copy link
Contributor

github-actions bot commented Jul 4, 2023

🤖 An automated task has requested bottles to be published to this PR.

@github-actions github-actions bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label Jul 4, 2023
@BrewTestBot BrewTestBot added this pull request to the merge queue Jul 4, 2023
Merged via the queue into Homebrew:master with commit ef6d2f7 Jul 4, 2023
12 checks passed
@iMichka iMichka deleted the ne branch July 4, 2023 20:29
@chenrui333 chenrui333 mentioned this pull request Aug 2, 2023
Closed
@github-actions github-actions bot added the outdated PR was locked due to age label Aug 4, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 4, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@chenrui333 chenrui333 chenrui333 approved these changes

@github-actions GitHub Actions GitHub Actions approved these changes

Assignees
No one assigned
Labels
CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. deprecated license Formula uses a deprecated SPDX license which should be updated outdated PR was locked due to age ventura-bottling
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@iMichka @chenrui333 @BrewTestBot