Skip to content
This repository was archived by the owner on Jun 2, 2025. It is now read-only.

Topic/pre commit #64

Merged
merged 2 commits into from
Feb 13, 2024
Merged

Topic/pre commit #64

merged 2 commits into from
Feb 13, 2024

Conversation

jorisv
Copy link
Contributor

@jorisv jorisv commented Feb 13, 2024

No description provided.

@jorisv jorisv self-assigned this Feb 13, 2024
@jorisv
Copy link
Contributor Author

jorisv commented Feb 13, 2024

pre-commit.ci autofix

Copy link
Member

@ManifoldFR ManifoldFR left a comment

Choose a reason for hiding this comment

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

lgtm

@jorisv jorisv merged commit 662fb81 into Simple-Robotics:devel Feb 13, 2024
@jorisv jorisv deleted the topic/pre-commit branch February 13, 2024 11:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants