Skip to content

chore: use jiti to run db seed#2717

Merged
tobiasdiez merged 1 commit intomainfrom
jitty
Jul 17, 2025
Merged

chore: use jiti to run db seed#2717
tobiasdiez merged 1 commit intomainfrom
jitty

Conversation

@tobiasdiez
Copy link
Copy Markdown
Member

🔗 Linked issue

📚 Description

@tobiasdiez tobiasdiez enabled auto-merge July 17, 2025 13:26
@github-actions
Copy link
Copy Markdown

@tobiasdiez tobiasdiez disabled auto-merge July 17, 2025 13:35
@tobiasdiez tobiasdiez merged commit 6e95743 into main Jul 17, 2025
5 checks passed
@tobiasdiez tobiasdiez deleted the jitty branch July 17, 2025 13:35
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.

1 participant