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

Last few deprecated calls to _get_option. Tests #2226: Commit 98405ac pushed by Julian
July 8, 2024 21:30 1m 18s main
main
July 8, 2024 21:30 1m 18s
Merge pull request #345 from Julian/pre-commit-ci-update-config Tests #2225: Commit a352b18 pushed by Julian
July 8, 2024 21:26 1m 28s main
main
July 8, 2024 21:26 1m 28s
Document the nvim-X.Y tag(s). Tests #2224: Commit e3ec7ad pushed by Julian
July 8, 2024 20:05 1m 19s main
main
July 8, 2024 20:05 1m 19s
Tests Tests #2223: by Julian
July 8, 2024 20:03 1m 39s nvim-0.9
nvim-0.9
July 8, 2024 20:03 1m 39s
[pre-commit.ci] pre-commit autoupdate Tests #2222: Pull request #345 opened by pre-commit-ci bot
July 8, 2024 17:34 1m 38s pre-commit-ci-update-config
pre-commit-ci-update-config
July 8, 2024 17:34 1m 38s
[pre-commit.ci] pre-commit autoupdate Tests #2221: Commit 16a7610 pushed by pre-commit-ci bot
July 8, 2024 17:34 1m 34s pre-commit-ci-update-config
pre-commit-ci-update-config
July 8, 2024 17:34 1m 34s
Add at least the other 2 hard deps to the rockspec. Tests #2220: Commit 03f7437 pushed by Julian
July 8, 2024 16:28 1m 20s main
main
July 8, 2024 16:28 1m 20s
Move lua/tests -> spec/ Tests #2219: Commit 7d8c68e pushed by Julian
July 8, 2024 16:23 1m 42s main
main
July 8, 2024 16:23 1m 42s
Move lua/tests -> spec/ Tests #2218: Commit 7d8c68e pushed by Julian
July 8, 2024 16:23 1m 33s v1.0.0
v1.0.0
July 8, 2024 16:23 1m 33s
Minor style. Tests #2217: Commit 589f608 pushed by Julian
July 7, 2024 14:28 1m 13s v1.0.0
v1.0.0
July 7, 2024 14:28 1m 13s
Minor style. Tests #2216: Commit 589f608 pushed by Julian
July 7, 2024 14:27 1m 17s main
main
July 7, 2024 14:27 1m 17s
Try adding a rockspec to publish to luarocks. Tests #2215: Commit 5915341 pushed by Julian
July 7, 2024 14:17 1m 14s main
main
July 7, 2024 14:17 1m 14s
Try adding a rockspec to publish to luarocks. Tests #2214: Commit 5915341 pushed by Julian
July 7, 2024 14:17 1m 15s v1.0.0
v1.0.0
July 7, 2024 14:17 1m 15s
Kill some additional vim.cmd strings. Tests #2213: Commit 0ea5c9b pushed by Julian
July 7, 2024 00:48 1m 12s main
main
July 7, 2024 00:48 1m 12s
Slightly better implementation. Tests #2212: Commit 8453020 pushed by Julian
July 6, 2024 19:33 1m 15s main
main
July 6, 2024 19:33 1m 15s
Bump the Lean versions in CI. Tests #2211: Commit a2b8e61 pushed by Julian
July 6, 2024 18:01 1m 18s main
main
July 6, 2024 18:01 1m 18s
And add Infoview:enter for jumping into it. Tests #2210: Commit 0008ac0 pushed by Julian
July 6, 2024 17:57 1m 21s main
main
July 6, 2024 17:57 1m 21s
Add a sample codespaces setup using lazyvim. Tests #2209: Commit 31e0289 pushed by Julian
July 4, 2024 20:15 1m 13s main
main
July 4, 2024 20:15 1m 13s
Use vim.filetype.add for ftdetection. Tests #2208: Commit 6cfbdb2 pushed by Julian
July 3, 2024 16:17 1m 18s main
main
July 3, 2024 16:17 1m 18s
A janky selene setup. Tests #2207: Commit 4a6b8c3 pushed by Julian
July 3, 2024 16:05 1m 24s main
main
July 3, 2024 16:05 1m 24s
Improve highlighting for hypotheses which are both {,in}accessible. Tests #2206: Commit a46a284 pushed by Julian
July 1, 2024 22:31 1m 23s main
main
July 1, 2024 22:31 1m 23s
Remove some minor indirection. Tests #2205: Commit 6f0cf8b pushed by Julian
July 1, 2024 19:54 1m 25s main
main
July 1, 2024 19:54 1m 25s
Share code between the infoview and our goal fetching commands. Tests #2204: Commit 8553744 pushed by Julian
July 1, 2024 14:55 1m 19s main
main
July 1, 2024 14:55 1m 19s
Kill one more deprecated call. Tests #2203: Commit 4af897c pushed by Julian
July 1, 2024 03:15 1m 28s main
main
July 1, 2024 03:15 1m 28s
Prefer assuming users use LspAttach rather than on_attach. Tests #2202: Commit 0500d40 pushed by Julian
June 30, 2024 01:13 1m 13s main
main
June 30, 2024 01:13 1m 13s
ProTip! You can narrow down the results and go further in time using created:<2024-06-30 or the other filters available.