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

_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
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 #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
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
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