Skip to content

Conversation

certik
Copy link
Contributor

@certik certik commented Sep 27, 2023

Checklist

  • Used a personal fork of the feedstock to propose changes
  • Bumped the build number (if the version is unchanged)
  • Reset the build number to 0 (if the version changed)
  • Re-rendered with the latest conda-smithy (Use the phrase @conda-forge-admin, please rerender in a comment in this PR for automated rerendering)
  • Ensured the license file is being packaged.

@certik certik requested a review from isuruf as a code owner September 27, 2023 16:56
@conda-forge-webservices
Copy link

Hi! This is the friendly automated conda-forge-linting service.

I just wanted to let you know that I linted all conda-recipes in your PR (recipe) and found it was in an excellent condition.

@certik
Copy link
Contributor Author

certik commented Sep 27, 2023

@conda-forge-admin, please rerender

@certik certik mentioned this pull request Sep 27, 2023
@certik certik added the automerge Merge the PR when CI passes label Sep 27, 2023
@certik certik changed the title Update to SymEngine 0.11.0 Update to SymEngine 0.11.1 Sep 27, 2023
Copy link
Member

@isuruf isuruf left a comment

Choose a reason for hiding this comment

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

Update the llvm version at Line 28?

@github-actions github-actions bot merged commit 48bb878 into conda-forge:main Sep 27, 2023
@github-actions
Copy link
Contributor

Hi! This is the friendly conda-forge automerge bot!

I considered the following status checks when analyzing this PR:

  • linter: passed
  • azure: passed

Thus the PR was passing and merged! Have a great day!

@certik certik deleted the release_0.11.0 branch September 27, 2023 18:28
@certik
Copy link
Contributor Author

certik commented Sep 27, 2023

Update the llvm version at Line 28?

Go ahead and submit a new PR. Given that it built, it's probably fine?

@certik certik mentioned this pull request Sep 27, 2023
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge Merge the PR when CI passes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants