Skip to content

Actions: Julian/lean.nvim

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
451 workflow runs
451 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ignore the markdownlint warning. Tests #2354: Commit cf8183a pushed by Julian
October 22, 2024 15:11 1m 54s main
main
October 22, 2024 15:11 1m 54s
Merge pull request #357 from utensil/restart-file-or-server Tests #2353: Commit 9a28f00 pushed by Julian
October 22, 2024 15:11 2m 3s main
main
October 22, 2024 15:11 2m 3s
Add a default mapping for :LeanRestartFile and related tips Tests #2352: Pull request #357 opened by utensil
October 22, 2024 15:05 2m 26s utensil:restart-file-or-server
utensil:restart-file-or-server
October 22, 2024 15:05 2m 26s
Add some basic internal logging instrumentation. Tests #2351: Commit cdc1095 pushed by Julian
October 22, 2024 14:49 2m 4s main
main
October 22, 2024 14:49 2m 4s
Make sorry.fill send its goal request to one LSP not all. Tests #2350: Commit dd46fba pushed by Julian
October 20, 2024 16:16 2m 10s main
main
October 20, 2024 16:16 2m 10s
More minor typing improvements. Tests #2349: Commit 8299c71 pushed by Julian
October 19, 2024 13:43 1m 52s main
main
October 19, 2024 13:43 1m 52s
Standardize some whitespace around comments/lua docstrings. Tests #2348: Commit e217e5e pushed by Julian
October 18, 2024 20:40 1m 54s main
main
October 18, 2024 20:40 1m 54s
Inch towards deleting UIParams. Tests #2347: Commit 124238d pushed by Julian
October 18, 2024 19:58 2m 1s remove-ui-params
remove-ui-params
October 18, 2024 19:58 2m 1s
I have vague recollections this didn't work last time either :/ Tests #2346: Commit 90baed4 pushed by Julian
October 18, 2024 19:40 2m 35s wip-jump-to-core
wip-jump-to-core
October 18, 2024 19:40 2m 35s
Set desc for all mappings we set. Tests #2345: Commit c4ebe66 pushed by Julian
October 18, 2024 15:17 1m 54s main
main
October 18, 2024 15:17 1m 54s
Add simple tests for Element:to_string. Tests #2344: Commit 0f757cb pushed by Julian
October 16, 2024 14:18 1m 49s main
main
October 16, 2024 14:18 1m 49s
Somehow this breaks things (specifically my cmp mapping), so TBD why. Tests #2343: Commit a1b7879 pushed by Julian
October 16, 2024 01:38 5m 23s main
main
October 16, 2024 01:38 5m 23s
Also test infoview mappings are properly set. Tests #2342: Commit 273749f pushed by Julian
October 15, 2024 19:39 2m 26s main
main
October 15, 2024 19:39 2m 26s
Another minor tweak to cleaning up our abbreviations mappings. Tests #2341: Commit 1b44c09 pushed by Julian
October 15, 2024 19:09 2m 0s main
main
October 15, 2024 19:09 2m 0s
Oh, fun, apparently we still do rely on sequential execution :/ Tests #2340: Commit d0ded74 pushed by Julian
October 15, 2024 18:27 1m 57s main
main
October 15, 2024 18:27 1m 57s
This doesn't do anything anymore. Tests #2339: Commit 8f5941e pushed by Julian
October 15, 2024 18:20 2m 2s main
main
October 15, 2024 18:20 2m 2s
Simplerer. Tests #2338: Commit 28afdc7 pushed by Julian
October 15, 2024 16:42 2m 18s main
main
October 15, 2024 16:42 2m 18s
Missing call to actually format an error message with its parameter. Tests #2337: Commit 08d6772 pushed by Julian
October 15, 2024 14:23 2m 31s main
main
October 15, 2024 14:23 2m 31s
Set a default toolchain in our devcontainer. Tests #2336: Commit fa3c288 pushed by Julian
October 14, 2024 17:55 3m 25s main
main
October 14, 2024 17:55 3m 25s
Fix the typing for MsgEmbed traces, and remove legacy lazyTrace code … Tests #2335: Commit 919a753 pushed by Julian
October 14, 2024 12:50 1m 54s main
main
October 14, 2024 12:50 1m 54s
Minor moving of where we define diagnostic markers for the infoview. Tests #2334: Commit fbe0f3f pushed by Julian
October 10, 2024 15:19 1m 59s main
main
October 10, 2024 15:19 1m 59s
Syntax highlight GoToModuleLinks. Tests #2333: Commit 859dbb7 pushed by Julian
October 10, 2024 14:33 2m 19s main
main
October 10, 2024 14:33 2m 19s
Merge pull request #356 from Julian/pre-commit-ci-update-config Tests #2332: Commit af4b54a pushed by Julian
October 8, 2024 19:40 2m 5s main
main
October 8, 2024 19:40 2m 5s
Add support for GoToModuleLinks from ImportGraph. Tests #2331: Commit 5cb855f pushed by Julian
October 8, 2024 19:24 2m 54s main
main
October 8, 2024 19:24 2m 54s
[pre-commit.ci] pre-commit autoupdate Tests #2330: Pull request #356 opened by pre-commit-ci bot
October 7, 2024 18:18 5m 40s pre-commit-ci-update-config
pre-commit-ci-update-config
October 7, 2024 18:18 5m 40s