chore: update prod from main#1205

Open

github-actions[bot] wants to merge 5 commits into

prodfrom

Commits on May 11, 2026

chore(backend): bump the minorandpatch group in /backend with 2 updates (#1192)
dependabot[bot]
authored

Commits on May 12, 2026

chore(website): bump the minorandpatch group across 1 directory with 15 updates (#1208)
dependabot[bot]
authored
chore(backend): bump org.jetbrains.kotlinx:kotlinx-datetime (#1206)
dependabot[bot]
authored

Commits on May 13, 2026

chore(vscode): use workspace TypeScript to fix .ts import extension errors (#1196)

fhennig
and
claude
authored

Commits on May 14, 2026

feat(website): make error tooltip direction configurable in AdvancedQueryFilter (#1204)

fhennig
and
claude
authored