Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
760 workflow runs
760 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Style. Tests #2269: Commit 45a3a5b pushed by Julian
September 4, 2024 15:45 1m 32s custom-widget-include-source
custom-widget-include-source
September 4, 2024 15:45 1m 32s
Add a switch for swapping the rewrite direction of lemmas. Tests #2268: Commit 34fd70e pushed by Julian
September 4, 2024 15:43 1m 18s rw-switch
rw-switch
September 4, 2024 15:43 1m 18s
WIP Tests #2267: Commit 524555b pushed by Julian
September 4, 2024 15:41 36m 5s nio
nio
September 4, 2024 15:41 36m 5s
Abbreviations Abbreviations #426: Scheduled
September 4, 2024 02:52 14s main
main
September 4, 2024 02:52 14s
Style. Tests #2266: Commit 45a3a5b pushed by Julian
September 4, 2024 01:16 1m 15s main
main
September 4, 2024 01:16 1m 15s
Why was this on _G again? Tests #2265: Commit 02a2db0 pushed by Julian
September 3, 2024 18:46 1m 24s main
main
September 3, 2024 18:46 1m 24s