All workflows

Workflow runs

• fix(ui): keep wide boards and tables tidy beside the detail panel

  cancelled:
  CI#2319:Pull request#1015openedbyValentinKolb
  fix/wide-surfaces-beside-panel

  Oct 12, 20267m 23s
  More actions for workflow run 2319

• PR #1015

  completed successfully:
  CodeQL#2112:byValentinKolb
  refs/pull/1015/head

  Oct 12, 20264m 53s

• chore: release main

  requires action with the application:
  CI#2318:Pull request#953synchronizebygithub-actions[bot]Bot
  release-please--branches--main

  Oct 12, 2026Action required
  More actions for workflow run 2318

• PR #953

  completed successfully:
  CodeQL#2111:bygithub-actions[bot]Bot
  refs/pull/953/head

  Oct 12, 20263m 6s

• fix(spaces): show the Kanban card grip and claim button on touch scre…

  completed successfully:
  Main#702:Commit7758751pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 20269m 7s
  More actions for workflow run 702

• Push on main

  completed successfully:
  CodeQL#2110:bygithub-merge-queue[bot]Bot
  main

  Oct 12, 202627m 41s

• fix(mail): end a move set after a time budget, not only after 50 moves

  completed successfully:
  CI#2317:Pull request#1014openedbyValentinKolb
  fix/mail-move-set-time-budget

  Oct 12, 202624m 20s
  More actions for workflow run 2317

• PR #1014

  completed successfully:
  CodeQL#2109:byValentinKolb
  refs/pull/1014/head

  Oct 12, 20263m 40s

• CI

  completed successfully:
  CI#2316:Merge group checks requested
  Oct 12, 202623m 33s
  More actions for workflow run 2316

• chore: release main

  requires action with the application:
  CI#2315:Pull request#953synchronizebygithub-actions[bot]Bot
  release-please--branches--main

  Oct 12, 2026Action required
  More actions for workflow run 2315

• PR #953

  completed successfully:
  CodeQL#2108:bygithub-actions[bot]Bot
  refs/pull/953/head

  Oct 12, 20264m 28s

• feat(notebooks): list numbers repair themselves, indent without Tab, …

  completed successfully:
  Main#701:Commit6e7b973pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 202610m 3s
  More actions for workflow run 701

• Push on main

  completed successfully:
  CodeQL#2107:bygithub-merge-queue[bot]Bot
  main

  Oct 12, 202624m 3s

• fix(spaces): show the Kanban card grip and claim button on touch screens, with 44 px targets

  completed successfully:
  CI#2314:Pull request#1011openedbyValentinKolb
  fix/spaces-touch-card-controls

  Oct 12, 202624m 11s
  More actions for workflow run 2314

• PR #1011

  completed successfully:
  CodeQL#2106:byValentinKolb
  refs/pull/1011/head

  Oct 12, 20266m 14s

• chore: release main

  requires action with the application:
  CI#2313:Pull request#953synchronizebygithub-actions[bot]Bot
  release-please--branches--main

  Oct 12, 2026Action required
  More actions for workflow run 2313

• PR #953

  completed successfully:
  CodeQL#2105:bygithub-actions[bot]Bot
  refs/pull/953/head

  Oct 12, 20264m 10s

• feat(cloud): keep Zod out of the mailbox first load and add a validat…

  completed successfully:
  Main#700:Commit0843aecpushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 20269m 19s
  More actions for workflow run 700

• Push on main

  completed successfully:
  CodeQL#2104:bygithub-merge-queue[bot]Bot
  main

  Oct 12, 202626m 57s

• CI

  completed successfully:
  CI#2312:Merge group checks requested
  Oct 12, 202623m 48s
  More actions for workflow run 2312

• CI

  completed successfully:
  CI#2311:Merge group checks requested
  Oct 12, 202622m 11s
  More actions for workflow run 2311

• chore: release main

  requires action with the application:
  CI#2310:Pull request#953synchronizebygithub-actions[bot]Bot
  release-please--branches--main

  Oct 12, 2026Action required
  More actions for workflow run 2310

• PR #953

  completed successfully:
  CodeQL#2103:bygithub-actions[bot]Bot
  refs/pull/953/head

  Oct 12, 20263m 55s

• fix(spaces): count only the shown month's entries in the month view (…

  completed successfully:
  Main#699:Commitca62338pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 20268m 54s
  More actions for workflow run 699

• Push on main

  completed successfully:
  CodeQL#2102:bygithub-merge-queue[bot]Bot
  main

  Oct 12, 202627m 48s