Skip to content

Add run export#11

Merged
bgruening merged 2 commits into
conda-forge:masterfrom
jschueller:export
Jan 27, 2020
Merged

Add run export#11
bgruening merged 2 commits into
conda-forge:masterfrom
jschueller:export

Conversation

@jschueller
Copy link
Copy Markdown
Contributor

Checklist

  • Used a 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.

@conda-forge-linter
Copy link
Copy Markdown

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.

@jschueller
Copy link
Copy Markdown
Contributor Author

could someone from @conda-forge/core merge this ?

@bgruening bgruening merged commit 8561bed into conda-forge:master Jan 27, 2020
@bgruening
Copy link
Copy Markdown
Contributor

Thanks @jschueller

@jschueller jschueller deleted the export branch January 27, 2020 08:47
@traversaro traversaro mentioned this pull request Jun 29, 2024
5 tasks
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.

3 participants