Skip to content

Actions: jupyterlab/lumino

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,806 workflow runs
1,806 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Lock Closed Threads Lock Closed Threads #1402: Scheduled
Queued main
main
Queued
Feature: (Mostly) AI-Attempt on Issue #798 Support resizable Groups Does PR have API changes? #979: Pull request #799 synchronize by emilkrebs
2m 52s emilkrebs:main
emilkrebs:main
2m 52s
Feature: (Mostly) AI-Attempt on Issue #798 Support resizable Groups Tests #2164: Pull request #799 synchronize by emilkrebs
6m 10s emilkrebs:main
emilkrebs:main
6m 10s
Feature: (Mostly) AI-Attempt on Issue #798 Support resizable Groups CodeQL #1512: Pull request #799 synchronize by emilkrebs
1m 42s emilkrebs:main
emilkrebs:main
1m 42s
Feature: (Mostly) AI-Attempt on Issue #798 Support resizable Groups Fix License Headers #992: Pull request #799 synchronize by emilkrebs
1m 4s
1m 4s
Feature: (Mostly) AI-Attempt on Issue #798 Support resizable Groups Enforce PR label #2396: Pull request #799 synchronize by emilkrebs
9s
9s
Document the use of PluginRegistry on the server Enforce PR label #2395: Pull request #827 edited by jtpio
8s
8s
Document the use of PluginRegistry on the server CodeQL #1511: Pull request #827 synchronize by jtpio
1m 26s jtpio:server-app
jtpio:server-app
1m 26s
Document the use of PluginRegistry on the server Does PR have API changes? #978: Pull request #827 synchronize by jtpio
2m 37s jtpio:server-app
jtpio:server-app
2m 37s
Document the use of PluginRegistry on the server Tests #2163: Pull request #827 synchronize by jtpio
6m 10s jtpio:server-app
jtpio:server-app
6m 10s
Document the use of PluginRegistry on the server Enforce PR label #2394: Pull request #827 synchronize by jtpio
13s
13s
Document the use of PluginRegistry on the server Fix License Headers #991: Pull request #827 synchronize by jtpio
1m 0s
1m 0s
Document the use of PluginRegistry on the server CodeQL #1510: Pull request #827 synchronize by jtpio
1m 40s jtpio:server-app
jtpio:server-app
1m 40s
Document the use of PluginRegistry on the server Does PR have API changes? #977: Pull request #827 synchronize by jtpio
2m 46s jtpio:server-app
jtpio:server-app
2m 46s
Document the use of PluginRegistry on the server Tests #2162: Pull request #827 synchronize by jtpio
6m 34s jtpio:server-app
jtpio:server-app
6m 34s
Document the use of PluginRegistry on the server Enforce PR label #2393: Pull request #827 synchronize by jtpio
14s
14s
Document the use of PluginRegistry on the server Fix License Headers #990: Pull request #827 synchronize by jtpio
1m 2s
1m 2s
Add capability for KeyboardEvent.code + capture Enforce PR label #2392: Pull request #291 unlabeled by krassowski
19s
19s
Add capability for KeyboardEvent.code + capture Fix License Headers #989: Pull request #291 synchronize by krassowski
57s
57s
Add capability for KeyboardEvent.code + capture Tests #2161: Pull request #291 synchronize by krassowski
2m 23s vidartf:kbd
vidartf:kbd
2m 23s
Add capability for KeyboardEvent.code + capture Enforce PR label #2391: Pull request #291 synchronize by krassowski
11s
11s
Add capability for KeyboardEvent.code + capture CodeQL #1509: Pull request #291 synchronize by krassowski
1m 41s vidartf:kbd
vidartf:kbd
1m 41s
Add capability for KeyboardEvent.code + capture Does PR have API changes? #976: Pull request #291 synchronize by krassowski
18s vidartf:kbd
vidartf:kbd
18s
Document the use of PluginRegistry on the server Tests #2160: Pull request #827 synchronize by jtpio
12m 29s jtpio:server-app
jtpio:server-app
12m 29s
Document the use of PluginRegistry on the server Does PR have API changes? #975: Pull request #827 synchronize by jtpio
2m 55s jtpio:server-app
jtpio:server-app
2m 55s