Skip to content

Actions: jupyterlab/lumino

Does PR have API changes?

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
13 workflow run results
13 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Accept individual modifier keys as valid keybindings
Does PR have API changes? #579: Pull request #637 synchronize by g547315
October 20, 2023 15:15 3m 56s g547315:allow-mapping-to-mod-keys
October 20, 2023 15:15 3m 56s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #578: Pull request #637 synchronize by g547315
October 20, 2023 15:05 4m 1s g547315:allow-mapping-to-mod-keys
October 20, 2023 15:05 4m 1s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #577: Pull request #637 synchronize by m158261
October 20, 2023 14:39 4m 3s g547315:allow-mapping-to-mod-keys
October 20, 2023 14:39 4m 3s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #576: Pull request #637 synchronize by m158261
October 20, 2023 14:22 4m 55s g547315:allow-mapping-to-mod-keys
October 20, 2023 14:22 4m 55s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #575: Pull request #637 synchronize by m158261
October 20, 2023 14:02 4m 1s g547315:allow-mapping-to-mod-keys
October 20, 2023 14:02 4m 1s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #574: Pull request #637 synchronize by g547315
October 20, 2023 10:57 4m 41s g547315:allow-mapping-to-mod-keys
October 20, 2023 10:57 4m 41s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #573: Pull request #637 synchronize by m158261
October 19, 2023 07:56 4m 32s g547315:allow-mapping-to-mod-keys
October 19, 2023 07:56 4m 32s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #572: Pull request #637 synchronize by m158261
October 17, 2023 16:17 4m 37s g547315:allow-mapping-to-mod-keys
October 17, 2023 16:17 4m 37s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #571: Pull request #637 synchronize by m158261
October 17, 2023 16:06 4m 43s g547315:allow-mapping-to-mod-keys
October 17, 2023 16:06 4m 43s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #570: Pull request #637 synchronize by m158261
October 17, 2023 15:55 4m 8s g547315:allow-mapping-to-mod-keys
October 17, 2023 15:55 4m 8s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #569: Pull request #637 synchronize by m158261
October 17, 2023 15:48 5m 9s g547315:allow-mapping-to-mod-keys
October 17, 2023 15:48 5m 9s
Accept individual modifier keys as valid keybindings
Does PR have API changes? #568: Pull request #637 synchronize by m158261
October 17, 2023 15:10 5m 50s g547315:allow-mapping-to-mod-keys
October 17, 2023 15:10 5m 50s