Skip to content

Actions: Julian/lean.nvim

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
163 workflow run results
163 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
Minor simplification now that we have just one project fixture. Tests #2264: Commit b2cf64f pushed by Julian
September 3, 2024 16:53 1m 25s main
main
September 3, 2024 16:53 1m 25s
Fix a funny sequencing/off-by-one error in our satellite progress bars. Tests #2263: Commit 351f166 pushed by Julian
August 29, 2024 17:42 53s main
main
August 29, 2024 17:42 53s
Also check for supported neovim version in the health check. Tests #2262: Commit 4b8187b pushed by Julian
August 29, 2024 15:46 1m 23s main
main
August 29, 2024 15:46 1m 23s
Let stylua reformat. Tests #2261: Commit 881eeef pushed by Julian
August 29, 2024 13:32 1m 26s main
main
August 29, 2024 13:32 1m 26s
Add a test which doesn't work. I have no idea why yet. Tests #2260: Commit 521399a pushed by Julian
August 28, 2024 01:07 1m 19s lsp-experiments
lsp-experiments
August 28, 2024 01:07 1m 19s
Add a manifest to get Lake to stop warning. Tests #2259: Commit 8dc3838 pushed by Julian
August 27, 2024 16:29 1m 39s main
main
August 27, 2024 16:29 1m 39s
Bump the Lean versions in CI. Tests #2258: Commit a9b5a90 pushed by Julian
August 26, 2024 16:44 1m 30s main
main
August 26, 2024 16:44 1m 30s