Skip to content

Actions: jupyterlab-contrib/rise

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
528 workflow runs
528 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #61 from brichet/fix-shortcut-commandMode
Check Release #132: Commit d082264 pushed by martinRenou
December 8, 2023 15:04 7m 53s main
December 8, 2023 15:04 7m 53s
Add the code mirror binding plugin
Enforce PR label #125: Pull request #62 labeled by brichet
December 8, 2023 14:12 14s brichet:codemirror_binding
December 8, 2023 14:12 14s
Fix the shortcut triggered in edit mode
Enforce PR label #124: Pull request #61 labeled by brichet
December 8, 2023 14:12 12s brichet:fix-shortcut-commandMode
December 8, 2023 14:12 12s
Add the code mirror binding plugin
Check Release #131: Pull request #62 synchronize by brichet
December 8, 2023 14:12 7m 57s brichet:codemirror_binding
December 8, 2023 14:12 7m 57s
Add the code mirror binding plugin
Enforce PR label #123: Pull request #62 synchronize by brichet
December 8, 2023 14:12 10s brichet:codemirror_binding
December 8, 2023 14:12 10s
Add the code mirror binding plugin
Build #131: Pull request #62 synchronize by brichet
December 8, 2023 14:12 7m 37s brichet:codemirror_binding
December 8, 2023 14:12 7m 37s
Fix the shortcut triggered in edit mode
Enforce PR label #122: Pull request #61 synchronize by brichet
December 8, 2023 14:09 14s brichet:fix-shortcut-commandMode
December 8, 2023 14:09 14s
Fix the shortcut triggered in edit mode
Check Release #130: Pull request #61 synchronize by brichet
December 8, 2023 14:09 8m 3s brichet:fix-shortcut-commandMode
December 8, 2023 14:09 8m 3s
Fix the shortcut triggered in edit mode
Build #130: Pull request #61 synchronize by brichet
December 8, 2023 14:09 7m 50s brichet:fix-shortcut-commandMode
December 8, 2023 14:09 7m 50s
Add the code mirror binding plugin
Check Release #129: Pull request #62 opened by brichet
December 7, 2023 21:50 7m 50s brichet:codemirror_binding
December 7, 2023 21:50 7m 50s
Add the code mirror binding plugin
Enforce PR label #121: Pull request #62 opened by brichet
December 7, 2023 21:50 1m 16s brichet:codemirror_binding
December 7, 2023 21:50 1m 16s
Add the code mirror binding plugin
Build #129: Pull request #62 opened by brichet
December 7, 2023 21:50 2m 4s brichet:codemirror_binding
December 7, 2023 21:50 2m 4s
Add the code mirror binding plugin
Binder Badge #37: Pull request #62 opened by brichet
December 7, 2023 21:50 19s
December 7, 2023 21:50 19s
Fix the shortcut triggered in edit mode
Build #128: Pull request #61 opened by brichet
December 6, 2023 20:09 1m 57s brichet:fix-shortcut-commandMode
December 6, 2023 20:09 1m 57s
Fix the shortcut triggered in edit mode
Check Release #128: Pull request #61 opened by brichet
December 6, 2023 20:09 7m 59s brichet:fix-shortcut-commandMode
December 6, 2023 20:09 7m 59s
Fix the shortcut triggered in edit mode
Enforce PR label #120: Pull request #61 opened by brichet
December 6, 2023 20:09 1m 15s brichet:fix-shortcut-commandMode
December 6, 2023 20:09 1m 15s
Fix the shortcut triggered in edit mode
Binder Badge #36: Pull request #61 opened by brichet
December 6, 2023 20:09 13s
December 6, 2023 20:09 13s
Fix Custom CSS URL Possible Double Slash
Check Release #127: Pull request #60 synchronize by sinanbekar
December 6, 2023 19:08 8m 7s sinanbekar:patch-1
December 6, 2023 19:08 8m 7s
Fix Custom CSS URL Possible Double Slash
Enforce PR label #119: Pull request #60 synchronize by sinanbekar
December 6, 2023 19:08 16s sinanbekar:patch-1
December 6, 2023 19:08 16s
Fix Custom CSS URL Possible Double Slash
Build #127: Pull request #60 synchronize by sinanbekar
December 6, 2023 19:08 2m 0s sinanbekar:patch-1
December 6, 2023 19:08 2m 0s
Fix keys being captured when in edit mode
Update Playwright Snapshots #95: Issue comment #58 (comment) created by brichet
December 6, 2023 18:29 3s
December 6, 2023 18:29 3s
Fix keys being captured when in edit mode
Update Playwright Snapshots #94: Issue comment #58 (comment) edited by briank-git
December 6, 2023 18:23 2s
December 6, 2023 18:23 2s
Fix keys being captured when in edit mode
Update Playwright Snapshots #93: Issue comment #58 (comment) created by briank-git
December 6, 2023 18:16 2s
December 6, 2023 18:16 2s
Fix Custom CSS URL Possible Double Slash
Binder Badge #35: Pull request #60 opened by sinanbekar
December 6, 2023 17:54 13s
December 6, 2023 17:54 13s
Fix keys being captured when in edit mode
Update Playwright Snapshots #92: Issue comment #58 (comment) edited by brichet
December 6, 2023 07:48 2s
December 6, 2023 07:48 2s