Skip to content

Actions: jupyterlab/lumino

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pass _luminoEvent argument when executing commands via keybinding
Enforce PR label #1611: Pull request #644 synchronize by andrewfulton9
October 20, 2023 19:31 16s
October 20, 2023 19:31 16s
Pass _luminoEvent argument when executing commands via keybinding
Fix License Headers #590: Pull request #644 synchronize by andrewfulton9
October 20, 2023 19:31 1m 16s
October 20, 2023 19:31 1m 16s
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
Enforce PR label #1610: Pull request #637 synchronize by g547315
October 20, 2023 15:15 13s
October 20, 2023 15:15 13s
Accept individual modifier keys as valid keybindings
Fix License Headers #589: Pull request #637 synchronize by g547315
October 20, 2023 15:15 1m 6s
October 20, 2023 15:15 1m 6s
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
Fix License Headers #588: Pull request #637 synchronize by g547315
October 20, 2023 15:05 1m 38s
October 20, 2023 15:05 1m 38s
Accept individual modifier keys as valid keybindings
Enforce PR label #1609: Pull request #637 synchronize by g547315
October 20, 2023 15:05 19s
October 20, 2023 15:05 19s
Accept individual modifier keys as valid keybindings
Enforce PR label #1608: Pull request #637 synchronize by m158261
October 20, 2023 14:39 16s
October 20, 2023 14:39 16s
Accept individual modifier keys as valid keybindings
Fix License Headers #587: Pull request #637 synchronize by m158261
October 20, 2023 14:39 1m 11s
October 20, 2023 14:39 1m 11s
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
Fix License Headers #586: Pull request #637 synchronize by m158261
October 20, 2023 14:22 1m 24s
October 20, 2023 14:22 1m 24s
Accept individual modifier keys as valid keybindings
Enforce PR label #1607: Pull request #637 synchronize by m158261
October 20, 2023 14:22 19s
October 20, 2023 14:22 19s