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.

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

[pre-commit.ci] pre-commit autoupdate #2344

Merged
merged 4 commits into from
Jul 24, 2024
Merged

Conversation

pre-commit-ci[bot]
Copy link
Contributor

@pre-commit-ci pre-commit-ci bot commented Jul 22, 2024

nim65s
nim65s previously approved these changes Jul 23, 2024
Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

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

👋 Hi,
This is a reminder message to please assign a proper label to this Pull Request.
The possible labels are:

  • build_collision (build pinocchio with coal support)
  • build_casadi (build pinoochio with casadi support)
  • build_autodiff (build pinocchio with cppad support)
  • build_codegen (build pinocchio with cppadcg support)
  • build_extra (build pinocchio with extra algorithms)
  • build_mpfr (build pinocchio with Boost.Multiprecision support)
  • build_sdf (build pinocchio with sdf parser)
  • build_accelerate
  • build_all (build pinocchio with all the options stated above)

Thanks.

@jcarpent jcarpent merged commit 60f7e98 into devel Jul 24, 2024
24 of 31 checks passed
@jcarpent jcarpent deleted the pre-commit-ci-update-config branch July 24, 2024 06:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants