Skip to content

Actions: codemirror/view

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid calling destroy on nodes that get reused in replaceChildren Trigger CI #768: Commit 105b491 pushed by marijnh
November 23, 2023 10:11 11s main
main
November 23, 2023 10:11 11s
Fix failing test Trigger CI #767: Commit 281e949 pushed by marijnh
November 22, 2023 10:59 11s main
main
November 22, 2023 10:59 11s
Don't close the hover tooltip when the pointer is right at its border Trigger CI #766: Commit 36c1b93 pushed by marijnh
November 22, 2023 07:40 15s main
main
November 22, 2023 07:40 15s
Make sure the aria-live element is hidden when printing Trigger CI #765: Commit 9c2be65 pushed by marijnh
November 15, 2023 09:42 15s main
main
November 15, 2023 09:42 15s
Fix previous patch Trigger CI #764: Commit cf5e5a9 pushed by marijnh
November 10, 2023 16:58 12s main
main
November 10, 2023 16:58 12s
Add a selector for .cm-content to caret-hiding style Trigger CI #763: Commit df237c8 pushed by marijnh
November 10, 2023 16:48 17s main
main
November 10, 2023 16:48 17s
Make sure the view tree is destroyed on editor destroy or reset Trigger CI #762: Commit 9c062aa pushed by marijnh
November 4, 2023 11:13 11s main
main
November 4, 2023 11:13 11s
Mark version 6.22.0 Trigger CI #761: Commit 81a7207 pushed by marijnh
November 3, 2023 12:48 12s 6.22.0
6.22.0
November 3, 2023 12:48 12s
Mark version 6.22.0 Trigger CI #760: Commit 81a7207 pushed by marijnh
November 3, 2023 12:48 15s main
main
November 3, 2023 12:48 15s
Fix tests that depended on an existing bug Trigger CI #759: Commit cecef4e pushed by marijnh
November 2, 2023 17:24 12s main
main
November 2, 2023 17:24 12s
Allow draggable widgets to work with the editor's drag/drop implement… Trigger CI #758: Commit 8c2e5ca pushed by marijnh
November 2, 2023 15:51 13s main
main
November 2, 2023 15:51 13s
Clip scroll margins to reasonable values Trigger CI #757: Commit a151d42 pushed by marijnh
November 2, 2023 14:29 13s main
main
November 2, 2023 14:29 13s
Send exceptions raised in update listeners to the exception sink Trigger CI #756: Commit 5dfda8e pushed by marijnh
October 26, 2023 09:14 27s main
main
October 26, 2023 09:14 27s
Mark version 6.21.4 Trigger CI #755: Commit e6a55a6 pushed by marijnh
October 24, 2023 09:18 11s 6.21.4
6.21.4
October 24, 2023 09:18 11s
Mark version 6.21.4 Trigger CI #754: Commit e6a55a6 pushed by marijnh
October 24, 2023 09:18 14s main
main
October 24, 2023 09:18 14s
Fix detection of mispositioned fixed tooltips on Chrome Trigger CI #753: Commit 1387c81 pushed by marijnh
October 24, 2023 08:58 14s main
main
October 24, 2023 08:58 14s
Support offset/getCoords/overlap/resize on hover tooltips Trigger CI #752: Commit b75e075 pushed by marijnh
October 11, 2023 10:00 18s main
main
October 11, 2023 10:00 18s
Mark version 6.21.3 Trigger CI #751: Commit ad41f81 pushed by marijnh
October 6, 2023 14:03 11s 6.21.3
6.21.3
October 6, 2023 14:03 11s
Mark version 6.21.3 Trigger CI #750: Commit ad41f81 pushed by marijnh
October 6, 2023 14:03 13s main
main
October 6, 2023 14:03 13s
Give the content a min height again Trigger CI #749: Commit 44fa9ff pushed by marijnh
October 6, 2023 08:27 11s main
main
October 6, 2023 08:27 11s
Ignore extra empty client rects Safari provides at line wraps Trigger CI #748: Commit f6b9927 pushed by marijnh
October 4, 2023 05:40 14s main
main
October 4, 2023 05:40 14s
Mark version 6.21.2 Trigger CI #747: Commit 88dafff pushed by marijnh
October 2, 2023 18:35 11s 6.21.2
6.21.2
October 2, 2023 18:35 11s
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