Skip to content

Actions: jupyterlab/lumino

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
585 workflow run results
585 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Accept individual modifier keys as valid keybindings Fix License Headers #582: Pull request #637 synchronize by m158261
October 17, 2023 16:17 1m 14s
October 17, 2023 16:17 1m 14s
Accept individual modifier keys as valid keybindings Enforce PR label #1603: Pull request #637 synchronize by m158261
October 17, 2023 16:17 15s
October 17, 2023 16:17 15s
Accept individual modifier keys as valid keybindings Tests #1638: Pull request #637 synchronize by m158261
October 17, 2023 16:17 10m 53s g547315:allow-mapping-to-mod-keys
g547315:allow-mapping-to-mod-keys
October 17, 2023 16:17 10m 53s
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
g547315:allow-mapping-to-mod-keys
October 17, 2023 16:17 4m 37s
Accept individual modifier keys as valid keybindings CodeQL #847: Pull request #637 synchronize by m158261
October 17, 2023 16:17 4m 20s g547315:allow-mapping-to-mod-keys
g547315:allow-mapping-to-mod-keys
October 17, 2023 16:17 4m 20s
Accept individual modifier keys as valid keybindings CodeQL #846: Pull request #637 synchronize by m158261
October 17, 2023 16:06 3m 5s g547315:allow-mapping-to-mod-keys
g547315:allow-mapping-to-mod-keys
October 17, 2023 16:06 3m 5s
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
g547315:allow-mapping-to-mod-keys
October 17, 2023 16:06 4m 43s
Accept individual modifier keys as valid keybindings Tests #1637: Pull request #637 synchronize by m158261
October 17, 2023 16:06 11m 21s g547315:allow-mapping-to-mod-keys
g547315:allow-mapping-to-mod-keys
October 17, 2023 16:06 11m 21s
Accept individual modifier keys as valid keybindings Enforce PR label #1602: Pull request #637 synchronize by m158261
October 17, 2023 16:06 12s
October 17, 2023 16:06 12s
Accept individual modifier keys as valid keybindings Fix License Headers #581: Pull request #637 synchronize by m158261
October 17, 2023 16:06 1m 14s
October 17, 2023 16:06 1m 14s
Accept individual modifier keys as valid keybindings CodeQL #845: Pull request #637 synchronize by m158261
October 17, 2023 15:55 3m 16s g547315:allow-mapping-to-mod-keys
g547315:allow-mapping-to-mod-keys
October 17, 2023 15:55 3m 16s
Accept individual modifier keys as valid keybindings Tests #1636: Pull request #637 synchronize by m158261
October 17, 2023 15:55 9m 1s g547315:allow-mapping-to-mod-keys
g547315:allow-mapping-to-mod-keys
October 17, 2023 15:55 9m 1s
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
g547315:allow-mapping-to-mod-keys
October 17, 2023 15:55 4m 8s
Accept individual modifier keys as valid keybindings Fix License Headers #580: Pull request #637 synchronize by m158261
October 17, 2023 15:55 1m 18s
October 17, 2023 15:55 1m 18s
Accept individual modifier keys as valid keybindings Enforce PR label #1601: Pull request #637 synchronize by m158261
October 17, 2023 15:55 13s
October 17, 2023 15:55 13s
Accept individual modifier keys as valid keybindings CodeQL #844: Pull request #637 synchronize by m158261
October 17, 2023 15:48 3m 22s g547315:allow-mapping-to-mod-keys
g547315:allow-mapping-to-mod-keys
October 17, 2023 15:48 3m 22s
Accept individual modifier keys as valid keybindings Tests #1635: Pull request #637 synchronize by m158261
October 17, 2023 15:48 6m 45s g547315:allow-mapping-to-mod-keys
g547315:allow-mapping-to-mod-keys
October 17, 2023 15:48 6m 45s
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
g547315:allow-mapping-to-mod-keys
October 17, 2023 15:48 5m 9s
Accept individual modifier keys as valid keybindings Fix License Headers #579: Pull request #637 synchronize by m158261
October 17, 2023 15:48 1m 9s
October 17, 2023 15:48 1m 9s
Accept individual modifier keys as valid keybindings Enforce PR label #1600: Pull request #637 synchronize by m158261
October 17, 2023 15:48 15s
October 17, 2023 15:48 15s
Accept individual modifier keys as valid keybindings Fix License Headers #578: Pull request #637 synchronize by m158261
October 17, 2023 15:10 1m 9s
October 17, 2023 15:10 1m 9s
Accept individual modifier keys as valid keybindings Enforce PR label #1599: Pull request #637 synchronize by m158261
October 17, 2023 15:10 15s
October 17, 2023 15:10 15s
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
g547315:allow-mapping-to-mod-keys
October 17, 2023 15:10 5m 50s
Accept individual modifier keys as valid keybindings CodeQL #843: Pull request #637 synchronize by m158261
October 17, 2023 15:10 4m 9s g547315:allow-mapping-to-mod-keys
g547315:allow-mapping-to-mod-keys
October 17, 2023 15:10 4m 9s
Accept individual modifier keys as valid keybindings Tests #1634: Pull request #637 synchronize by m158261
October 17, 2023 15:10 12m 14s g547315:allow-mapping-to-mod-keys
g547315:allow-mapping-to-mod-keys
October 17, 2023 15:10 12m 14s