Skip to content

Conversation

@Marvin-Beckmann
Copy link
Member

The pipeline fails due to updated clippy-requirements.
The indentation now has a fixed format, and we were not following these guidelines.
I went through the code to fix them to make clippy happy again.

@Marvin-Beckmann Marvin-Beckmann added documentation📖 Improvements or additions to documentation hotfix🔥 This issue or PR implements an important change and should be worked on quickly labels Apr 14, 2025
@Marvin-Beckmann Marvin-Beckmann self-assigned this Apr 14, 2025
Copy link
Member

@Marcel583 Marcel583 left a comment

Choose a reason for hiding this comment

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

Looks Great!

@Marvin-Beckmann Marvin-Beckmann merged commit 64d38a0 into dev Apr 16, 2025
2 checks passed
@Marvin-Beckmann Marvin-Beckmann deleted the hotfix_clippy branch April 16, 2025 08:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation📖 Improvements or additions to documentation hotfix🔥 This issue or PR implements an important change and should be worked on quickly

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants