Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,199 workflow runs
1,199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix the infoview containing a trailing newline in one case. Tests #2071: Commit ad8b73e pushed by Julian
October 24, 2023 00:22 3m 39s oh-whitespace-you-suck
oh-whitespace-you-suck
October 24, 2023 00:22 3m 39s
Fix the infoview containing a trailing newline in one case. Tests #2070: Commit 274a7e9 pushed by Julian
October 24, 2023 00:18 2m 48s oh-whitespace-you-suck
oh-whitespace-you-suck
October 24, 2023 00:18 2m 48s
Again try to fix multi-file running, updating for newer inanis. Tests #2069: Commit a32d035 pushed by Julian
October 23, 2023 19:55 2m 46s main
main
October 23, 2023 19:55 2m 46s
Abbreviations Abbreviations #109: Scheduled
October 23, 2023 02:45 12s main
main
October 23, 2023 02:45 12s
Remove a move_cursor from a lean3 test where we're already there. Tests #2068: Commit 2dc04c7 pushed by Julian
October 22, 2023 19:39 3m 11s main
main
October 22, 2023 19:39 3m 11s
Remove usages of the deprecated buf_get_clients. Tests #2067: Commit ee5b5cd pushed by Julian
October 22, 2023 19:37 3m 0s main
main
October 22, 2023 19:37 3m 0s
Do this properly using luassert. Tests #2066: Commit 7bc96bc pushed by Julian
October 22, 2023 19:32 2m 54s main
main
October 22, 2023 19:32 2m 54s
Make helpers.move_cursor always ensure we're really moving the cursor. Tests #2065: Commit a72d656 pushed by Julian
October 22, 2023 19:22 2m 39s main
main
October 22, 2023 19:22 2m 39s
Replace some instances of vim.cmd('set ...') Tests #2064: Commit 186a664 pushed by Julian
October 22, 2023 17:17 3m 6s main
main
October 22, 2023 17:17 3m 6s
vim.api.nvim_command -> vim.cmd Tests #2063: Commit 6d1f376 pushed by Julian
October 22, 2023 16:53 2m 50s main
main
October 22, 2023 16:53 2m 50s
Whoops, and the lean 3 implementation. Tests #2062: Commit 4c0a32c pushed by Julian
October 22, 2023 16:35 2m 42s main
main
October 22, 2023 16:35 2m 42s
Split the fixture locations. Tests #2061: Commit ab7f6b3 pushed by Julian
October 22, 2023 16:31 2m 37s main
main
October 22, 2023 16:31 2m 37s
Split the clean_buffer helper for lean3, simplifying it. Tests #2060: Commit 5d62888 pushed by Julian
October 22, 2023 15:59 2m 46s main
main
October 22, 2023 15:59 2m 46s
Use the upstreamed inanis runner. Tests #2059: Commit 03ecaa0 pushed by Julian
October 22, 2023 14:11 2m 32s main
main
October 22, 2023 14:11 2m 32s
Abbreviations Abbreviations #108: Scheduled
October 22, 2023 02:45 17s main
main
October 22, 2023 02:45 17s
Split the last Lean 3 tests. Tests #2058: Commit 59830ec pushed by Julian
October 21, 2023 23:08 3m 8s main
main
October 21, 2023 23:08 3m 8s
Bump the Lean versions in CI. Tests #2057: Commit b1b4f46 pushed by Julian
October 21, 2023 22:37 2m 44s main
main
October 21, 2023 22:37 2m 44s
Abbreviations Abbreviations #107: Scheduled
October 21, 2023 02:45 14s main
main
October 21, 2023 02:45 14s
Replace all simple usages of vim.cmd('foo' ..) with vim.cmd.foo(..). Tests #2056: Commit 5de3aa2 pushed by Julian
October 20, 2023 22:45 3m 10s main
main
October 20, 2023 22:45 3m 10s
Port places where the fixture used doesn't matter between 3 and 4. Tests #2055: Commit c36abea pushed by Julian
October 20, 2023 22:21 3m 9s main
main
October 20, 2023 22:21 3m 9s
And try splitting the infoview widget tests. Almost there. Tests #2054: Commit d34022d pushed by Julian
October 20, 2023 22:16 2m 58s main
main
October 20, 2023 22:16 2m 58s
Add assertions for current line, window and tabpage. Tests #2053: Commit a2a3bbd pushed by Julian
October 20, 2023 21:27 2m 53s main
main
October 20, 2023 21:27 2m 53s
Split the trythis tests. Tests #2052: Commit 570e1d6 pushed by Julian
October 20, 2023 21:04 2m 49s main
main
October 20, 2023 21:04 2m 49s
And split the abbreviations tests. Tests #2051: Commit d88b276 pushed by Julian
October 20, 2023 20:54 3m 37s main
main
October 20, 2023 20:54 3m 37s
This actually doesn't work in Lean 3 which is why it was cheaply miss… Tests #2050: Commit 56c006e pushed by Julian
October 20, 2023 20:49 2m 53s main
main
October 20, 2023 20:49 2m 53s
ProTip! You can narrow down the results and go further in time using created:<2023-10-20 or the other filters available.