Skip to content

Actions: jupyter-server/pycrdt-websocket

Enforce PR label

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[pre-commit.ci] pre-commit autoupdate
Enforce PR label #149: Pull request #82 opened by pre-commit-ci bot
October 28, 2024 21:14 1m 15s pre-commit-ci-update-config
October 28, 2024 21:14 1m 15s
[pre-commit.ci] pre-commit autoupdate
Enforce PR label #148: Pull request #80 opened by pre-commit-ci bot
October 21, 2024 20:58 1m 15s pre-commit-ci-update-config
October 21, 2024 20:58 1m 15s
Start the server awareness
Enforce PR label #147: Pull request #78 labeled by davidbrochart
October 14, 2024 20:30 12s brichet:start_server_awareness
October 14, 2024 20:30 12s
Start the server awareness
Enforce PR label #146: Pull request #78 synchronize by davidbrochart
October 14, 2024 20:26 17s brichet:start_server_awareness
October 14, 2024 20:26 17s
Start the server awareness
Enforce PR label #145: Pull request #78 synchronize by brichet
October 14, 2024 20:13 15s brichet:start_server_awareness
October 14, 2024 20:13 15s
Start the server awareness
Enforce PR label #144: Pull request #78 synchronize by brichet
October 14, 2024 19:30 11s brichet:start_server_awareness
October 14, 2024 19:30 11s
Start the server awareness
Enforce PR label #143: Pull request #78 opened by brichet
October 14, 2024 08:10 1m 15s brichet:start_server_awareness
October 14, 2024 08:10 1m 15s
Allow efficient trimming of history
Enforce PR label #142: Pull request #77 synchronize by asteppke
October 10, 2024 19:48 16s asteppke:trim_history
October 10, 2024 19:48 16s
Allow efficient trimming of history
Enforce PR label #141: Pull request #77 synchronize by pre-commit-ci bot
October 10, 2024 19:34 18s asteppke:trim_history
October 10, 2024 19:34 18s
Allow efficient trimming of history
Enforce PR label #140: Pull request #77 opened by asteppke
October 10, 2024 19:33 1m 16s asteppke:trim_history
October 10, 2024 19:33 1m 16s
Apply awareness updates to server awareness
Enforce PR label #139: Pull request #76 labeled by davidbrochart
October 9, 2024 14:54 12s davidbrochart:apply-awareness
October 9, 2024 14:54 12s
Apply awareness updates to server awareness
Enforce PR label #138: Pull request #76 synchronize by davidbrochart
October 9, 2024 14:53 11s davidbrochart:apply-awareness
October 9, 2024 14:53 11s
Apply awareness updates to server awareness
Enforce PR label #137: Pull request #76 opened by davidbrochart
October 9, 2024 14:47 1m 18s davidbrochart:apply-awareness
October 9, 2024 14:47 1m 18s
Broadcast server awareness to all clients
Enforce PR label #136: Pull request #73 synchronize by brichet
October 9, 2024 13:43 12s brichet:server_awareness
October 9, 2024 13:43 12s
Broadcast server awareness to all clients
Enforce PR label #135: Pull request #73 synchronize by brichet
October 9, 2024 12:55 14s brichet:server_awareness
October 9, 2024 12:55 14s
Broadcast server awareness to all clients
Enforce PR label #134: Pull request #73 synchronize by brichet
October 9, 2024 12:40 16s brichet:server_awareness
October 9, 2024 12:40 16s
Broadcast server awareness to all clients
Enforce PR label #133: Pull request #73 synchronize by brichet
October 9, 2024 11:43 15s brichet:server_awareness
October 9, 2024 11:43 15s
Broadcast server awareness to all clients
Enforce PR label #132: Pull request #73 synchronize by brichet
October 9, 2024 11:37 18s brichet:server_awareness
October 9, 2024 11:37 18s
Broadcast server awareness to all clients
Enforce PR label #131: Pull request #73 synchronize by brichet
October 9, 2024 09:50 11s brichet:server_awareness
October 9, 2024 09:50 11s
Broadcast server awareness to all clients
Enforce PR label #130: Pull request #73 synchronize by pre-commit-ci bot
October 9, 2024 09:44 18s brichet:server_awareness
October 9, 2024 09:44 18s
Broadcast server awareness to all clients
Enforce PR label #129: Pull request #73 synchronize by brichet
October 9, 2024 09:43 20s brichet:server_awareness
October 9, 2024 09:43 20s
[pre-commit.ci] pre-commit autoupdate
Enforce PR label #128: Pull request #75 opened by pre-commit-ci bot
October 7, 2024 21:55 1m 14s pre-commit-ci-update-config
October 7, 2024 21:55 1m 14s
Broadcast server awareness to all clients
Enforce PR label #127: Pull request #73 edited by brichet
October 4, 2024 08:33 12s brichet:server_awareness
October 4, 2024 08:33 12s
Broadcast server awareness to all clients
Enforce PR label #126: Pull request #73 edited by brichet
October 4, 2024 08:30 11s brichet:server_awareness
October 4, 2024 08:30 11s
Broadcast server awareness to all clients
Enforce PR label #125: Pull request #73 edited by brichet
October 4, 2024 08:30 11s brichet:server_awareness
October 4, 2024 08:30 11s