search

conda-forge / eigen-feedstock

A conda-smithy repository for eigen.
BSD 3-Clause "New" or "Revised" License
2 stars 15 forks source link

[ci skip] adding user @traversaro #43

Closed conda-forge-admin closed 8 months ago

conda-forge-admin commented 8 months ago

Hi! This is the friendly automated conda-forge-webservice.

I've added user @traversaro as instructed in #42.

Merge this PR to add the user. Please do not rerender this PR or change it in any way. It has [ci skip] in the commit message to avoid pushing a new build and so the build configuration in the feedstock should not be changed.

Please contact conda-forge/core to have this PR merged, if the maintainer is unresponsive.

Fixes #42

traversaro commented 8 months ago

As asked in https://github.com/conda-forge/eigen-feedstock/pull/41#issuecomment-1805372178 .

jakirkham commented 8 months ago

Welcome aboard Silvio! 👋

jakirkham commented 8 months ago

@conda-forge-admin , please re-render

To update a few other files

conda-forge-webservices[bot] commented 8 months ago

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.

github-actions[bot] commented 8 months ago

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

I considered the following status checks when analyzing this PR:

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