Skip to content

Actions: jupyter-book/thebe

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #119: by github-pages bot
November 21, 2023 23:28 53s gh-pages
gh-pages
November 21, 2023 23:28 53s
🛠 fix wsUrl bug & 🤖 randomize default token (#711) deploy-demo-simple #82: Commit bda77f7 pushed by stevejpurves
November 21, 2023 23:23 5m 43s main
main
November 21, 2023 23:23 5m 43s
🛠 fix wsUrl bug & 🤖 randomize default token deploy-demo-pr-preview #141: Pull request #711 closed by stevejpurves
November 21, 2023 23:23 4m 40s fix/ws-port
fix/ws-port
November 21, 2023 23:23 4m 40s
pages build and deployment pages-build-deployment #118: by github-pages bot
November 21, 2023 23:17 1m 4s gh-pages
gh-pages
November 21, 2023 23:17 1m 4s
🛠 fix wsUrl bug & 🤖 randomize default token ci #199: Pull request #711 synchronize by stevejpurves
November 21, 2023 23:13 8m 24s fix/ws-port
fix/ws-port
November 21, 2023 23:13 8m 24s
🛠 fix wsUrl bug & 🤖 randomize default token deploy-demo-pr-preview #140: Pull request #711 synchronize by stevejpurves
November 21, 2023 23:13 4m 18s fix/ws-port
fix/ws-port
November 21, 2023 23:13 4m 18s
pages build and deployment pages-build-deployment #117: by github-pages bot
November 21, 2023 22:44 1m 7s gh-pages
gh-pages
November 21, 2023 22:44 1m 7s
pages build and deployment pages-build-deployment #116: by github-pages bot
November 21, 2023 22:44 28s gh-pages
gh-pages
November 21, 2023 22:44 28s
pages build and deployment pages-build-deployment #115: by github-pages bot
November 21, 2023 22:43 50s gh-pages
gh-pages
November 21, 2023 22:43 50s
🧑🏾‍🏭 override default jupyterlite service worker (#710) deploy-demo-simple #81: Commit 1ce79f6 pushed by stevejpurves
November 21, 2023 22:40 3m 58s main
main
November 21, 2023 22:40 3m 58s
🧑🏾‍🏭 override default jupyterlite service worker deploy-demo-pr-preview #139: Pull request #710 closed by stevejpurves
November 21, 2023 22:40 4m 20s feat/config-sw
feat/config-sw
November 21, 2023 22:40 4m 20s
🛠 fix wsUrl bug & 🤖 randomize default token deploy-demo-pr-preview #138: Pull request #711 opened by stevejpurves
November 21, 2023 22:38 4m 34s fix/ws-port
fix/ws-port
November 21, 2023 22:38 4m 34s
🛠 fix wsUrl bug & 🤖 randomize default token ci #198: Pull request #711 opened by stevejpurves
November 21, 2023 22:38 7m 37s fix/ws-port
fix/ws-port
November 21, 2023 22:38 7m 37s
pages build and deployment pages-build-deployment #114: by github-pages bot
November 21, 2023 22:20 59s gh-pages
gh-pages
November 21, 2023 22:20 59s
🧑🏾‍🏭 override default jupyterlite service worker ci #197: Pull request #710 opened by stevejpurves
November 21, 2023 22:15 8m 14s feat/config-sw
feat/config-sw
November 21, 2023 22:15 8m 14s
🧑🏾‍🏭 override default jupyterlite service worker deploy-demo-pr-preview #137: Pull request #710 opened by stevejpurves
November 21, 2023 22:15 4m 11s feat/config-sw
feat/config-sw
November 21, 2023 22:15 4m 11s
🛠improving binder connection cycle deploy-demo-simple #80: Commit 93c32dd pushed by stevejpurves
November 21, 2023 21:15 3m 43s main
main
November 21, 2023 21:15 3m 43s
pages build and deployment pages-build-deployment #113: by github-pages bot
November 21, 2023 20:47 53s gh-pages
gh-pages
November 21, 2023 20:47 53s
pages build and deployment pages-build-deployment #112: by github-pages bot
November 21, 2023 20:47 19s gh-pages
gh-pages
November 21, 2023 20:47 19s
🗑remove release PR until after 0.9.0 deploy-demo-simple #79: Commit 15589b9 pushed by stevejpurves
November 21, 2023 20:46 5m 3s main
main
November 21, 2023 20:46 5m 3s
🆑 added functions to remove saved sessions (#709) Release #49: Commit fda8021 pushed by stevejpurves
November 21, 2023 20:43 1m 1s main
main
November 21, 2023 20:43 1m 1s
🆑 added functions to remove saved sessions deploy-demo-pr-preview #136: Pull request #709 closed by stevejpurves
November 21, 2023 20:43 4m 9s feat/clear-saved-sessions
feat/clear-saved-sessions
November 21, 2023 20:43 4m 9s
🆑 added functions to remove saved sessions (#709) deploy-demo-simple #78: Commit fda8021 pushed by stevejpurves
November 21, 2023 20:43 3m 55s main
main
November 21, 2023 20:43 3m 55s
pages build and deployment pages-build-deployment #111: by github-pages bot
November 21, 2023 20:37 57s gh-pages
gh-pages
November 21, 2023 20:37 57s
🆑 added functions to remove saved sessions deploy-demo-pr-preview #135: Pull request #709 opened by stevejpurves
November 21, 2023 20:33 4m 13s feat/clear-saved-sessions
feat/clear-saved-sessions
November 21, 2023 20:33 4m 13s