Skip to content

Actions: Julian/lean.nvim

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
394 workflow runs
394 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove a TODO where it turns out what we had was right. Tests #2251: Commit b29cf86 pushed by Julian
August 13, 2024 00:12 1m 15s main
main
August 13, 2024 00:12 1m 15s
Allow (re)implementing widgets via Lua API. Tests #2250: Commit 729c050 pushed by Julian
August 12, 2024 12:02 1m 25s main
main
August 12, 2024 12:02 1m 25s
The VSCode abbreviations file location changed. Tests #2249: Commit 0ea6af3 pushed by Julian
August 11, 2024 21:32 1m 10s main
main
August 11, 2024 21:32 1m 10s
Add a satellite.nvim plugin for progress information. Tests #2248: Commit b8f8962 pushed by Julian
August 11, 2024 21:17 1m 22s main
main
August 11, 2024 21:17 1m 22s
This is needed for running lua-language-server on the CLI to lint types. Tests #2247: Commit d427cc2 pushed by Julian
August 11, 2024 17:03 1m 9s main
main
August 11, 2024 17:03 1m 9s
Bump the Lean versions in CI. Tests #2246: Commit 38acc54 pushed by Julian
August 11, 2024 16:12 1m 7s main
main
August 11, 2024 16:12 1m 7s
Nice, somehow in CI this is nil occasionally... Tests #2245: Commit 6463663 pushed by Julian
August 11, 2024 16:11 1m 24s main
main
August 11, 2024 16:11 1m 24s
May as well syntax highlight it... Tests #2244: Commit a652bcd pushed by Julian
August 11, 2024 16:04 1m 43s main
main
August 11, 2024 16:04 1m 43s
Add a first pass on showing user widgets for try this suggestions. Tests #2243: Commit fd68f57 pushed by Julian
August 11, 2024 15:56 1m 51s main
main
August 11, 2024 15:56 1m 51s
Remove a hack now that neovim/neovim#14663 is fixed in nvim 0.10. Tests #2242: Commit 59f3b15 pushed by Julian
August 11, 2024 15:17 1m 14s main
main
August 11, 2024 15:17 1m 14s
We're a percentage now. Tests #2241: Commit bf59f4c pushed by Julian
August 9, 2024 16:38 1m 13s main
main
August 9, 2024 16:38 1m 13s
Add a hasty version of lean.progress.percentage for completion percen… Tests #2240: Commit 10040f5 pushed by Julian
August 9, 2024 16:35 1m 13s main
main
August 9, 2024 16:35 1m 13s
Use clear = false rather than separate augroups for abbreviation file… Tests #2239: Commit 04024ef pushed by Julian
August 9, 2024 14:39 1m 11s main
main
August 9, 2024 14:39 1m 11s
specify file extension for abbreviations Tests #2238: Pull request #348 synchronize by chenson2018
August 9, 2024 03:36 1m 12s chenson2018:abbrev-pattern
chenson2018:abbrev-pattern
August 9, 2024 03:36 1m 12s
specify file extension for abbreviations Tests #2237: Pull request #348 opened by chenson2018
August 8, 2024 19:19 1m 20s chenson2018:abbrev-pattern
chenson2018:abbrev-pattern
August 8, 2024 19:19 1m 20s
Minor tweak to the headline given Leo isn't currently at MSFT. Tests #2236: Commit e498888 pushed by Julian
August 6, 2024 15:26 1m 33s main
main
August 6, 2024 15:26 1m 33s
Use vim.keymap.set for loading mappings. Tests #2235: Commit 8953d6b pushed by Julian
August 6, 2024 15:13 1m 11s main
main
August 6, 2024 15:13 1m 11s
Kill the _by_buf internal mapping in favor of closures. Tests #2234: Commit 539a4f5 pushed by Julian
August 4, 2024 23:30 1m 12s main
main
August 4, 2024 23:30 1m 12s
Another augroup inline. Tests #2233: Commit badd74c pushed by Julian
August 2, 2024 13:45 1m 16s main
main
August 2, 2024 13:45 1m 16s
_set_option -> vim.bo Tests #2232: Commit 39f263d pushed by Julian
July 23, 2024 18:01 1m 34s main
main
July 23, 2024 18:01 1m 34s
Minor refactor of creating pin data elements. Tests #2231: Commit 0a90b97 pushed by Julian
July 19, 2024 18:18 1m 16s main
main
July 19, 2024 18:18 1m 16s
Switch between by and by?. Tests #2230: Commit a490870 pushed by Julian
July 18, 2024 17:06 2m 48s main
main
July 18, 2024 17:06 2m 48s
Elaborate on the FIXME given it's relevant. Tests #2229: Commit 8814d39 pushed by Julian
July 18, 2024 17:02 1m 22s main
main
July 18, 2024 17:02 1m 22s
Also handle infoviews closed via :q! rather than just :q. Tests #2228: Commit ce28e14 pushed by Julian
July 18, 2024 16:56 1m 16s main
main
July 18, 2024 16:56 1m 16s
Mention actions-preview in the README. Tests #2227: Commit 1827031 pushed by Julian
July 10, 2024 17:29 1m 14s main
main
July 10, 2024 17:29 1m 14s
ProTip! You can narrow down the results and go further in time using created:<2024-07-10 or the other filters available.