chore: cleanup linting tools and configs #1

Closed

jujens wants to merge 0 commits from ci into main

pull from: ci

merge into: jujens:main

jujens:main

Conversation 0 Commits - Files changed -

jujens commented 2026-04-19 10:22:05 +00:00

Owner

Copy link

No description provided.

jujens added 1 commit 2026-04-19 10:22:05 +00:00

chore: cleanup linting tools and configs 15659dadf0

jujens force-pushed ci from 15659dadf0 to 86d713c552 2026-04-19 10:26:01 +00:00 Compare

jujens force-pushed ci from 86d713c552 to 725ab5a9a1 2026-04-19 10:30:31 +00:00 Compare

jujens force-pushed ci from 725ab5a9a1 to 7764bac9f0 2026-04-19 10:35:26 +00:00 Compare

jujens added 1 commit 2026-04-19 10:40:53 +00:00

chore: update deps 7830719836

jujens closed this pull request 2026-04-19 10:45:46 +00:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

jujens/legadilo!1

No description provided.