build-and-push

Workflow runs for build-and-push

• server+ui: propagate graceful session closing

  completed successfully:
  build-and-push#3:Commit74f3d7apushedbybeesaferoot
  main

  Jun 11, 20262m 4s
  More actions for workflow run 3

• ui: fix cursor drift bug and editor horization weight wraping

  completed successfully:
  build-and-push#2:Commit42eb6bdpushedbybeesaferoot
  main

  Jun 11, 20261m 12s
  More actions for workflow run 2

• chore: devops + deployment configuration

  completed successfully:
  build-and-push#1:Commita8e3412pushedbybeesaferoot
  main

  Jun 11, 20264m 38s
  More actions for workflow run 1