Skip to content
PR Gate

fix(hotkeys): Properly map all hotkeys in UI based on the platform #1290

Sign in to view logs

fix(hotkeys): Properly map all hotkeys in UI based on the platform

fix(hotkeys): Properly map all hotkeys in UI based on the platform #1290

Triggered via pull request January 22, 2026 21:57
@msukkarimsukkari
synchronize #784
michael/sou-257-bug-properly-display-hotkeys-for-pc
Status Success
Total duration 6m 57s
Artifacts 1

pr-gate.yml

on: pull_request
build
6m 50s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
sourcebot-dev~sourcebot~WTRWWD.dockerbuild Expired
84.4 KB
sha256:71333a45f04d55b91004786cd3fd61060d2884c994ff5f1dca3df5cdd88c03c0