Skip to content

remove dev-requirements#720

Merged
lukaspie merged 1 commit intomasterfrom
rm-dev-requirements
Nov 12, 2025
Merged

remove dev-requirements#720
lukaspie merged 1 commit intomasterfrom
rm-dev-requirements

Conversation

@lukaspie
Copy link
Collaborator

We are not using dev-requirements.txt in any of our workflows anymore, so we can just drop it from the repo.

@lukaspie lukaspie force-pushed the rm-dev-requirements branch from f3e336e to 509bd24 Compare November 12, 2025 13:36
@lukaspie lukaspie requested a review from mkuehbach November 12, 2025 13:36
Copy link
Collaborator

@mkuehbach mkuehbach left a comment

Choose a reason for hiding this comment

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

lgtm

@lukaspie lukaspie merged commit 17e4a2a into master Nov 12, 2025
17 checks passed
@lukaspie lukaspie deleted the rm-dev-requirements branch November 12, 2025 14:40
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