Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: fix db types #681

Merged
merged 1 commit into from
Oct 29, 2024
Merged

chore: fix db types #681

merged 1 commit into from
Oct 29, 2024

Conversation

st3iny
Copy link
Member

@st3iny st3iny commented Oct 29, 2024

To unblock CI.

Signed-off-by: Richard Steinmetz <[email protected]>
@st3iny st3iny added techdebt 3. to review Waiting for reviews labels Oct 29, 2024
@st3iny st3iny self-assigned this Oct 29, 2024
@nickvergessen nickvergessen merged commit 0713eaa into main Oct 29, 2024
35 checks passed
@nickvergessen nickvergessen deleted the chore/db-types branch October 29, 2024 10:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
3. to review Waiting for reviews techdebt
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants