Skip to content

Fix linting#755

Merged
lkreimann merged 1 commit into
mainfrom
fix-linting
Mar 23, 2026
Merged

Fix linting#755
lkreimann merged 1 commit into
mainfrom
fix-linting

Conversation

@lkreimann

Copy link
Copy Markdown
Contributor

Probleme mit dem Linting sind nicht aufgefallen, da das Linting nicht in die Pipeline eingebaut ist (kann ich aber noch nachholen, falls ihr das möchtet)

@dloetzke dloetzke left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Linting ins Testing aufnehmen finde ich gut, würde ich aber machen, wenn wir Gewissheit zur Zukunft dieser Actions haben. :)

@lkreimann lkreimann merged commit 9caf95a into main Mar 23, 2026
6 checks passed
@dloetzke dloetzke deleted the fix-linting branch April 17, 2026 16:06
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.

2 participants