Skip to content

Actions: codemirror/view

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
230 workflow runs
230 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mark version 6.21.2 Trigger CI #746: Commit 88dafff pushed by marijnh
October 2, 2023 18:35 12s main
main
October 2, 2023 18:35 12s
Fix dragging from the editor content Trigger CI #745: Commit 9586ecd pushed by marijnh
October 2, 2023 18:34 16s main
main
October 2, 2023 18:34 16s
Mark version 6.21.1 Trigger CI #744: Commit 547161c pushed by marijnh
October 2, 2023 10:58 14s 6.21.1
6.21.1
October 2, 2023 10:58 14s
Mark version 6.21.1 Trigger CI #743: Commit 547161c pushed by marijnh
October 2, 2023 10:58 11s main
main
October 2, 2023 10:58 11s
Fix a problem in document rendering Trigger CI #742: Commit a050806 pushed by marijnh
October 2, 2023 10:58 12s main
main
October 2, 2023 10:58 12s
Mark version 6.21.0 Trigger CI #741: Commit 675a576 pushed by marijnh
September 29, 2023 10:04 13s 6.21.0
6.21.0
September 29, 2023 10:04 13s
Mark version 6.21.0 Trigger CI #740: Commit 675a576 pushed by marijnh
September 29, 2023 10:04 18s main
main
September 29, 2023 10:04 18s
Make the position of RectangleMarker public Trigger CI #739: Commit 7a86d72 pushed by marijnh
September 29, 2023 08:15 14s main
main
September 29, 2023 08:15 14s
Fix a bug that could cause widgets at the start of a line to leak Trigger CI #738: Commit 315df18 pushed by marijnh
September 29, 2023 08:06 17s main
main
September 29, 2023 08:06 17s
Mark version 6.20.2 Trigger CI #737: Commit d5b8c34 pushed by marijnh
September 25, 2023 08:15 13s 6.20.2
6.20.2
September 25, 2023 08:15 13s
Mark version 6.20.2 Trigger CI #736: Commit d5b8c34 pushed by marijnh
September 25, 2023 08:15 11s main
main
September 25, 2023 08:15 11s
Make sure gutter properly realign when the editor scale changes Trigger CI #735: Commit 9a91750 pushed by marijnh
September 25, 2023 08:13 16s main
main
September 25, 2023 08:13 16s
Fix an issue in the way the DOMReader treats positions in opaque nodes Trigger CI #734: Commit 47ffaf9 pushed by marijnh
September 22, 2023 16:08 16s main
main
September 22, 2023 16:08 16s
Mark version 6.20.1 Trigger CI #733: Commit 4112542 pushed by marijnh
September 22, 2023 09:58 10s 6.20.1
6.20.1
September 22, 2023 09:58 10s
Mark version 6.20.1 Trigger CI #732: Commit 4112542 pushed by marijnh
September 22, 2023 09:58 13s main
main
September 22, 2023 09:58 13s
Fix logic for detecting broken fixed positioning Trigger CI #731: Commit 0c40c05 pushed by marijnh
September 22, 2023 09:57 20s main
main
September 22, 2023 09:57 20s
Make sure ensureHandlers is called _after_ plugin init in updatePlugins Trigger CI #730: Commit a484959 pushed by marijnh
September 22, 2023 05:40 12s main
main
September 22, 2023 05:40 12s
Guard against divisions by zero when computing the editor scale Trigger CI #729: Commit bb36a97 pushed by marijnh
September 21, 2023 06:06 13s main
main
September 21, 2023 06:06 13s
Mark version 6.20.0 Trigger CI #728: Commit 1b3d9ce pushed by marijnh
September 20, 2023 14:37 13s 6.20.0
6.20.0
September 20, 2023 14:37 13s
Mark version 6.20.0 Trigger CI #727: Commit 1b3d9ce pushed by marijnh
September 20, 2023 14:37 13s main
main
September 20, 2023 14:37 13s
Fix a bug in DOM updates Trigger CI #726: Commit 6a60a21 pushed by marijnh
September 20, 2023 11:51 13s main
main
September 20, 2023 11:51 13s
Add getDrawSelectionConfig Trigger CI #725: Commit c0e108a pushed by marijnh
September 20, 2023 08:29 17s main
main
September 20, 2023 08:29 17s
Improve behavior of moveVertically on line wrap boundaries Trigger CI #724: Commit bdd2f10 pushed by marijnh
September 18, 2023 09:31 15s main
main
September 18, 2023 09:31 15s
Fix handling of mouse and drop events on the scroll element Trigger CI #723: Commit b34a927 pushed by marijnh
September 18, 2023 06:38 13s main
main
September 18, 2023 06:38 13s
Clean up wrappers created for tooltips when the parent option is given Trigger CI #722: Commit 110c3bd pushed by marijnh
September 15, 2023 15:02 43s main
main
September 15, 2023 15:02 43s