Skip to content

Conversation

@yvantor
Copy link

@yvantor yvantor commented Oct 5, 2025

Small formatting change to fix CI in #219 @DanielKellerM (Draft PR is open just to test the CI)

DanielKellerM and others added 4 commits August 27, 2025 13:31
Signed-off-by: Daniel Keller <daniel.kellermartinez@csem.ch>
Signed-off-by: Daniel Keller <daniel.kellermartinez@csem.ch>
Signed-off-by: Daniel Keller <daniel.kellermartinez@csem.ch>
@yvantor yvantor marked this pull request as draft October 5, 2025 07:12
@yvantor yvantor changed the title Fix CI lineter from DanielKellerM/feat/xcelium Fix CI linter from DanielKellerM/feat/xcelium [#219](https://github.com/pulp-platform/bender/pull/219) Oct 5, 2025
@yvantor yvantor changed the title Fix CI linter from DanielKellerM/feat/xcelium [#219](https://github.com/pulp-platform/bender/pull/219) Fix CI linter from DanielKellerM/feat/xcelium Oct 5, 2025
@yvantor
Copy link
Author

yvantor commented Oct 6, 2025

Closing as cherry-picked.

@yvantor yvantor closed this Oct 6, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants