Skip to content

openmp 16.0.1#82

Merged
github-actions[bot] merged 1 commit into
conda-forge:mainfrom
h-vetinari:bump
Apr 6, 2023
Merged

openmp 16.0.1#82
github-actions[bot] merged 1 commit into
conda-forge:mainfrom
h-vetinari:bump

Conversation

@h-vetinari

Copy link
Copy Markdown
Member

For some reason the bot choked on openmp this time

@conda-forge-webservices

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.

@h-vetinari h-vetinari added the automerge Merge the PR when CI passes label Apr 6, 2023
@github-actions github-actions Bot merged commit cb0a376 into conda-forge:main Apr 6, 2023
@github-actions

github-actions Bot commented Apr 6, 2023

Copy link
Copy Markdown
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!

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.

1 participant