Skip to content

Actions: jupyter-server/pycrdt-websocket

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
564 workflow runs
564 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Allow efficient trimming of history
CI #316: Pull request #77 opened by asteppke
October 10, 2024 19:33 1m 18s asteppke:trim_history
October 10, 2024 19:33 1m 18s
v0.15.0
Publish Changelog #10: Release v0.15.0 published by jupyter-server-releaser-bot bot
October 9, 2024 15:10 44s
October 9, 2024 15:10 44s
Publish 0.15.0
CI #315: Commit c7e3955 pushed by jupyter-server-releaser-bot bot
October 9, 2024 15:09 2m 31s main
October 9, 2024 15:09 2m 31s
Step 2: Publish Release
Step 2: Publish Release #12: Manually run by davidbrochart
October 9, 2024 15:08 1m 33s main
October 9, 2024 15:08 1m 33s
Step 1: Prep Release
Step 1: Prep Release #9: Manually run by davidbrochart
October 9, 2024 15:06 50s main
October 9, 2024 15:06 50s
Step 1: Prep Release
Step 1: Prep Release #8: Manually run by davidbrochart
October 9, 2024 15:03 45s main
October 9, 2024 15:03 45s
Apply awareness updates to server awareness (#76)
CI #314: Commit e361683 pushed by davidbrochart
October 9, 2024 15:02 2m 41s main
October 9, 2024 15:02 2m 41s
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 (#73)
CI #311: Commit 826446f pushed by davidbrochart
October 9, 2024 14:08 2m 25s main
October 9, 2024 14:08 2m 25s
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
CI #310: Pull request #73 synchronize by brichet
October 9, 2024 13:43 2m 21s brichet:server_awareness
October 9, 2024 13:43 2m 21s
Broadcast server awareness to all clients
CI #309: Pull request #73 synchronize by brichet
October 9, 2024 12:55 2m 34s brichet:server_awareness
October 9, 2024 12:55 2m 34s
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
CI #308: Pull request #73 synchronize by brichet
October 9, 2024 12:40 2m 24s brichet:server_awareness
October 9, 2024 12:40 2m 24s
Broadcast server awareness to all clients
CI #307: Pull request #73 synchronize by brichet
October 9, 2024 11:43 2m 37s brichet:server_awareness
October 9, 2024 11:43 2m 37s
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
CI #306: Pull request #73 synchronize by brichet
October 9, 2024 11:37 2m 54s brichet:server_awareness
October 9, 2024 11:37 2m 54s
Broadcast server awareness to all clients
CI #305: Pull request #73 synchronize by brichet
October 9, 2024 09:50 2m 54s brichet:server_awareness
October 9, 2024 09:50 2m 54s