Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
493 workflow run results
493 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abbreviations Abbreviations #438: Scheduled
September 16, 2024 02:59 12s main
main
September 16, 2024 02:59 12s
Fix highlighting for matchit namespaces with french quotes. Tests #2282: Commit 530a75e pushed by Julian
September 15, 2024 19:10 1m 14s main
main
September 15, 2024 19:10 1m 14s
Add french quotes to matchpairs. Tests #2281: Commit 93bd81a pushed by Julian
September 15, 2024 18:42 1m 20s main
main
September 15, 2024 18:42 1m 20s
Abbreviations Abbreviations #437: Scheduled
September 15, 2024 02:58 12s main
main
September 15, 2024 02:58 12s
Get rid of the lspconfig dependency. Tests #2280: Commit 295b90e pushed by Julian
September 14, 2024 14:50 4m 36s no-lspconfig
no-lspconfig
September 14, 2024 14:50 4m 36s
Abbreviations Abbreviations #436: Scheduled
September 14, 2024 02:53 16s main
main
September 14, 2024 02:53 16s
Abbreviations Abbreviations #435: Scheduled
September 13, 2024 02:54 13s main
main
September 13, 2024 02:54 13s
Less manual path munging in the tests. Tests #2279: Commit 74e3bf7 pushed by Julian
September 13, 2024 01:01 1m 12s main
main
September 13, 2024 01:01 1m 12s
I have vague recollections this didn't work last time either :/ Tests #2278: Commit 829a28c pushed by Julian
September 13, 2024 01:01 1m 47s wip-jump-to-core
wip-jump-to-core
September 13, 2024 01:01 1m 47s
Kill it entirely, one fewer thing only used in tests. Tests #2277: Commit c09bb13 pushed by Julian
September 12, 2024 19:23 1m 17s main
main
September 12, 2024 19:23 1m 17s
Make the same progress helper use vim.iter. Tests #2276: Commit 284668a pushed by Julian
September 12, 2024 18:35 1m 15s main
main
September 12, 2024 18:35 1m 15s
Abbreviations Abbreviations #434: Scheduled
September 12, 2024 02:53 12s main
main
September 12, 2024 02:53 12s
Abbreviations Abbreviations #433: Scheduled
September 11, 2024 02:52 14s main
main
September 11, 2024 02:52 14s
Abbreviations Abbreviations #432: Scheduled
September 10, 2024 02:54 12s main
main
September 10, 2024 02:54 12s
Abbreviations Abbreviations #431: Scheduled
September 9, 2024 02:55 25s main
main
September 9, 2024 02:55 25s
Abbreviations Abbreviations #430: Scheduled
September 8, 2024 02:55 10s main
main
September 8, 2024 02:55 10s
Abbreviations Abbreviations #429: Scheduled
September 7, 2024 02:51 14s main
main
September 7, 2024 02:51 14s
Abbreviations Abbreviations #428: Scheduled
September 6, 2024 02:52 10s main
main
September 6, 2024 02:52 10s
Abbreviations Abbreviations #427: Scheduled
September 5, 2024 02:52 15s main
main
September 5, 2024 02:52 15s
Allow not fixing the infoview window dimensions. Tests #2275: Commit 724b844 pushed by Julian
September 4, 2024 16:00 1m 24s maybe-fixed-size
maybe-fixed-size
September 4, 2024 16:00 1m 24s
WIP Tests #2274: Commit a1eae24 pushed by Julian
September 4, 2024 15:54 1m 54s filter-hypotheses
filter-hypotheses
September 4, 2024 15:54 1m 54s
Try replacing UIParams with normal TextDocumentPositionParams. Tests #2273: Commit ad2fca7 pushed by Julian
September 4, 2024 15:52 2m 19s remove-ui-params
remove-ui-params
September 4, 2024 15:52 2m 19s
Add an alternate way to enable abbreviations in other filetypes / buf… Tests #2272: Commit 3548214 pushed by Julian
September 4, 2024 15:51 1m 25s abbreviations-attach
abbreviations-attach
September 4, 2024 15:51 1m 25s
Bump the Lean versions in CI. Tests #2271: Commit d89d027 pushed by Julian
September 4, 2024 15:50 1m 22s main
main
September 4, 2024 15:50 1m 22s
Include source for custom widgets we're reimplementing. Tests #2270: Commit b829054 pushed by Julian
September 4, 2024 15:47 1m 19s custom-widget-include-source
custom-widget-include-source
September 4, 2024 15:47 1m 19s