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 #2549

Merged
merged 8 commits into from
Jan 9, 2025
Merged

Conversation

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 assign an extra build label to this Pull Request if needed.
By default, this PR will be build with minimal build options (URDF support and Python bindings)
The possible extra labels are:

  • build_collision (build Pinocchio with coal support)
  • build_casadi (build Pinocchio with CasADi support)
  • build_autodiff (build Pinocchio with CppAD support)
  • build_codegen (build Pinocchio with CppADCodeGen 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 Pinocchio with APPLE Accelerate framework support)
  • build_all (build Pinocchio with ALL the options stated above)

Thanks.
The Pinocchio development team.

updates:
- [github.com/pre-commit/mirrors-clang-format: v19.1.1 → v19.1.6](pre-commit/mirrors-clang-format@v19.1.1...v19.1.6)
- [github.com/astral-sh/ruff-pre-commit: v0.6.9 → v0.8.6](astral-sh/ruff-pre-commit@v0.6.9...v0.8.6)
@jorisv jorisv force-pushed the pre-commit-ci-update-config branch from 5c47d1b to d4fdd44 Compare January 7, 2025 08:50
@jorisv jorisv force-pushed the pre-commit-ci-update-config branch from e635c69 to 5300ae4 Compare January 7, 2025 09:51
@jorisv jorisv merged commit 69f8b2e into devel Jan 9, 2025
46 of 52 checks passed
@jorisv jorisv deleted the pre-commit-ci-update-config branch January 9, 2025 08:51
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.

1 participant