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

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
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
Abbreviations Abbreviations #425: Scheduled
September 3, 2024 02:51 4m 25s main
main
September 3, 2024 02:51 4m 25s
Abbreviations Abbreviations #424: Scheduled
September 2, 2024 02:54 19s main
main
September 2, 2024 02:54 19s
Abbreviations Abbreviations #423: Scheduled
September 1, 2024 02:58 13s main
main
September 1, 2024 02:58 13s
Abbreviations Abbreviations #422: Scheduled
August 31, 2024 02:51 11s main
main
August 31, 2024 02:51 11s
Abbreviations Abbreviations #421: Scheduled
August 30, 2024 02:52 12s main
main
August 30, 2024 02:52 12s
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
Abbreviations Abbreviations #420: Scheduled
August 29, 2024 02:52 15s main
main
August 29, 2024 02:52 15s
Abbreviations Abbreviations #419: Scheduled
August 28, 2024 02:50 11s main
main
August 28, 2024 02:50 11s
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
Abbreviations Abbreviations #418: Scheduled
August 27, 2024 02:50 14s main
main
August 27, 2024 02:50 14s
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
Add a current_cursor assertion. Tests #2257: Commit 7de1496 pushed by Julian
August 26, 2024 16:05 1m 5s main
main
August 26, 2024 16:05 1m 5s
Abbreviations Abbreviations #417: Scheduled
August 26, 2024 02:49 11s main
main
August 26, 2024 02:49 11s
Minor notify() tweak for loogle telescoping. Tests #2256: Commit 40e81f0 pushed by Julian
August 25, 2024 17:18 1m 12s main
main
August 25, 2024 17:18 1m 12s
Hastily fix some issue with user widgets. Tests #2255: Commit 9fa7d68 pushed by Julian
August 25, 2024 13:42 1m 13s main
main
August 25, 2024 13:42 1m 13s