Skip to content

Actions: codemirror/lint

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid creating overlapping decorations Trigger CI #123: Commit 1fcc3e1 pushed by marijnh
November 22, 2024 14:26 1m 2s main
main
November 22, 2024 14:26 1m 2s
Mark version 6.8.3 Trigger CI #122: Commit 334ad44 pushed by marijnh
November 21, 2024 10:02 15s 6.8.3
6.8.3
November 21, 2024 10:02 15s
Mark version 6.8.3 Trigger CI #121: Commit 334ad44 pushed by marijnh
November 21, 2024 10:02 15s main
main
November 21, 2024 10:02 15s
Mark version 6.8.2 Trigger CI #120: Commit 8d8a153 pushed by marijnh
September 24, 2024 08:10 14s 6.8.2
6.8.2
September 24, 2024 08:10 14s
Mark version 6.8.2 Trigger CI #119: Commit 8d8a153 pushed by marijnh
September 24, 2024 08:10 13s main
main
September 24, 2024 08:10 13s
Don't wait for the slowest linter before showing results Trigger CI #118: Commit 35644c1 pushed by marijnh
September 24, 2024 08:09 17s main
main
September 24, 2024 08:09 17s
Add widgetMarker option to lint gutter Trigger CI #117: Commit c13331c pushed by marijnh
July 25, 2024 17:41 14s main
main
July 25, 2024 17:41 14s
Mark version 6.8.1 Trigger CI #116: Commit 8b2eb06 pushed by marijnh
June 19, 2024 06:51 10s 6.8.1
6.8.1
June 19, 2024 06:51 10s
Mark version 6.8.1 Trigger CI #115: Commit 8b2eb06 pushed by marijnh
June 19, 2024 06:51 11s main
main
June 19, 2024 06:51 11s
Make lint marks non-inclusive again Trigger CI #114: Commit ebd04f3 pushed by marijnh
June 14, 2024 08:42 11s main
main
June 14, 2024 08:42 11s
Mark version 6.8.0 Trigger CI #113: Commit 42076ce pushed by marijnh
May 23, 2024 10:38 19s 6.8.0
6.8.0
May 23, 2024 10:38 19s
Mark version 6.8.0 Trigger CI #112: Commit 42076ce pushed by marijnh
May 23, 2024 10:38 10s main
main
May 23, 2024 10:38 10s
Add the autoPanel option Trigger CI #111: Commit be3b43b pushed by marijnh
May 23, 2024 09:51 11s main
main
May 23, 2024 09:51 11s
Mark version 6.7.1 Trigger CI #110: Commit edb043c pushed by marijnh
May 15, 2024 05:47 14s 6.7.1
6.7.1
May 15, 2024 05:47 14s
Mark version 6.7.1 Trigger CI #109: Commit edb043c pushed by marijnh
May 15, 2024 05:47 13s main
main
May 15, 2024 05:47 13s
Make sure forceLinting cancels the pending lint run Trigger CI #108: Commit 2bf28d8 pushed by marijnh
May 14, 2024 20:29 15s main
main
May 14, 2024 20:29 15s
Mark version 6.7.0 Trigger CI #107: Commit 6dc3ba4 pushed by marijnh
April 30, 2024 05:45 10s 6.7.0
6.7.0
April 30, 2024 05:45 10s
Mark version 6.7.0 Trigger CI #106: Commit 6dc3ba4 pushed by marijnh
April 30, 2024 05:45 10s main
main
April 30, 2024 05:45 10s
Mark version 6.6.0 Trigger CI #105: Commit 7936880 pushed by marijnh
April 29, 2024 20:54 11s 6.6.0
6.6.0
April 29, 2024 20:54 11s
Mark version 6.6.0 Trigger CI #104: Commit 7936880 pushed by marijnh
April 29, 2024 20:54 11s main
main
April 29, 2024 20:54 11s
Add hideOn configuration option Trigger CI #103: Commit 9cb3d38 pushed by marijnh
April 29, 2024 09:04 12s main
main
April 29, 2024 09:04 12s
Mark version 6.5.0 Trigger CI #102: Commit ed7e403 pushed by marijnh
January 30, 2024 20:39 13s 6.5.0
6.5.0
January 30, 2024 20:39 13s
Mark version 6.5.0 Trigger CI #101: Commit ed7e403 pushed by marijnh
January 30, 2024 20:39 12s main
main
January 30, 2024 20:39 12s
Pass the editor state to diagnostics filters Trigger CI #100: Commit fe6bc58 pushed by marijnh
January 30, 2024 17:37 11s main
main
January 30, 2024 17:37 11s
Make lint decorations inclusive Trigger CI #99: Commit 88ba8ef pushed by marijnh
December 18, 2023 14:11 13s main
main
December 18, 2023 14:11 13s