Skip to content

chore: update prod from main#1023

Merged
fhennig merged 2 commits intoprodfrom
main
Feb 4, 2026
Merged

chore: update prod from main#1023
fhennig merged 2 commits intoprodfrom
main

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Feb 4, 2026

This pull request updates the prod branch with the latest changes from the main branch.

Make sure to merge this creating a merge commit.

Do not squash-merge this PR. Do not rebase and merge.

@vercel
Copy link

vercel bot commented Feb 4, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
dashboards Ready Ready Preview, Comment Feb 4, 2026 4:29pm

Request Review

@fhennig fhennig merged commit dd53f89 into prod Feb 4, 2026
9 checks passed
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