Skip to content

Actions: gsantner/markor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
682 workflow runs
682 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New folder in copy/move dialog, closes #2093 CI #2704: Pull request #2098 synchronize by harshad1
August 26, 2023 23:12 6m 19s harshad1:new_folder_in_copy_move_dialog
harshad1:new_folder_in_copy_move_dialog
August 26, 2023 23:12 6m 19s
New folder in copy/move dialog, closes #2093 CI #2703: Pull request #2098 synchronize by harshad1
August 26, 2023 22:57 6m 23s harshad1:new_folder_in_copy_move_dialog
harshad1:new_folder_in_copy_move_dialog
August 26, 2023 22:57 6m 23s
Line numbers improvements CI #2702: Pull request #2090 synchronize by guanglinn
August 25, 2023 02:36 6m 58s guanglinn:linenumbers
guanglinn:linenumbers
August 25, 2023 02:36 6m 58s
Line numbers improvements CI #2701: Pull request #2090 synchronize by guanglinn
August 24, 2023 11:10 5m 41s guanglinn:linenumbers
guanglinn:linenumbers
August 24, 2023 11:10 5m 41s
Line numbers improvements CI #2700: Pull request #2090 synchronize by guanglinn
August 24, 2023 10:01 6m 14s guanglinn:linenumbers
guanglinn:linenumbers
August 24, 2023 10:01 6m 14s
New folder in copy/move dialog, closes #2093 CI #2699: Pull request #2098 opened by harshad1
August 20, 2023 23:53 6m 56s harshad1:new_folder_in_copy_move_dialog
harshad1:new_folder_in_copy_move_dialog
August 20, 2023 23:53 6m 56s
Line numbers improvements CI #2698: Pull request #2090 synchronize by guanglinn
August 17, 2023 12:59 5m 41s guanglinn:linenumbers
guanglinn:linenumbers
August 17, 2023 12:59 5m 41s
Line numbers improvements CI #2697: Pull request #2090 synchronize by guanglinn
August 16, 2023 08:00 4m 42s guanglinn:linenumbers
guanglinn:linenumbers
August 16, 2023 08:00 4m 42s
Line numbers improvements CI #2696: Pull request #2090 synchronize by guanglinn
August 16, 2023 06:50 6m 4s guanglinn:linenumbers
guanglinn:linenumbers
August 16, 2023 06:50 6m 4s
Line numbers improvements CI #2695: Pull request #2090 synchronize by guanglinn
August 16, 2023 04:00 6m 31s guanglinn:linenumbers
guanglinn:linenumbers
August 16, 2023 04:00 6m 31s
Line numbers improvements CI #2694: Pull request #2090 synchronize by guanglinn
August 16, 2023 00:30 5m 59s guanglinn:linenumbers
guanglinn:linenumbers
August 16, 2023 00:30 5m 59s
Line numbers improvements CI #2693: Pull request #2090 synchronize by guanglinn
August 15, 2023 17:12 6m 27s guanglinn:linenumbers
guanglinn:linenumbers
August 15, 2023 17:12 6m 27s
Line numbers improvements CI #2692: Pull request #2090 synchronize by guanglinn
August 15, 2023 16:10 6m 15s guanglinn:linenumbers
guanglinn:linenumbers
August 15, 2023 16:10 6m 15s
Line numbers improvements CI #2691: Pull request #2090 opened by guanglinn
August 15, 2023 15:15 5m 32s guanglinn:linenumbers
guanglinn:linenumbers
August 15, 2023 15:15 5m 32s
Feature: Add Line numbers support (Issue #2057, PR #2062, by @guang-lin) CI #2690: Commit 667b5d7 pushed by gsantner
August 14, 2023 22:43 7m 1s linenumbers
linenumbers
August 14, 2023 22:43 7m 1s
Chunked undo redo, by @harshad1 (#2052) CI #2689: Commit d8ffc01 pushed by gsantner
August 14, 2023 22:40 6m 24s linenumbers
linenumbers
August 14, 2023 22:40 6m 24s
Reworking line numbers + other fixes CI #2688: Pull request #2088 synchronize by harshad1
August 14, 2023 16:57 4m 40s harshad1:reworking_line_numbers
harshad1:reworking_line_numbers
August 14, 2023 16:57 4m 40s
Reworking line numbers + other fixes CI #2687: Pull request #2088 synchronize by harshad1
August 13, 2023 21:39 5m 51s harshad1:reworking_line_numbers
harshad1:reworking_line_numbers
August 13, 2023 21:39 5m 51s
Reworking line numbers + other fixes CI #2686: Pull request #2088 synchronize by harshad1
August 13, 2023 19:24 4m 41s harshad1:reworking_line_numbers
harshad1:reworking_line_numbers
August 13, 2023 19:24 4m 41s
Reworking line numbers + other fixes CI #2685: Pull request #2088 synchronize by harshad1
August 12, 2023 16:29 8m 10s harshad1:reworking_line_numbers
harshad1:reworking_line_numbers
August 12, 2023 16:29 8m 10s
Reworking line numbers + other fixes CI #2684: Pull request #2088 opened by harshad1
August 12, 2023 16:22 7m 48s harshad1:reworking_line_numbers
harshad1:reworking_line_numbers
August 12, 2023 16:22 7m 48s
Add line numbers support CI #2683: Pull request #2062 synchronize by guanglinn
August 11, 2023 14:30 6m 16s guanglinn:line_numbers_support
guanglinn:line_numbers_support
August 11, 2023 14:30 6m 16s
Snippet token for inserting selection (closes #2059) CI #2680: Pull request #2081 opened by harshad1
August 4, 2023 06:24 7m 57s harshad1:selected_text_in_snippet
harshad1:selected_text_in_snippet
August 4, 2023 06:24 7m 57s
Chunked undo redo, by @harshad1 (#2052) CI #2674: Commit d8ffc01 pushed by gsantner
July 13, 2023 18:26 5m 25s master
master
July 13, 2023 18:26 5m 25s
Add line numbers support CI #2672: Pull request #2062 synchronize by gsantner
July 9, 2023 18:31 6m 54s guanglinn:line_numbers_support
guanglinn:line_numbers_support
July 9, 2023 18:31 6m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-07-09 or the other filters available.