Skip to content

Actions: Julian/lean.nvim

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
378 workflow runs
378 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
[pre-commit.ci] pre-commit autoupdate Tests #2329: Commit 9a180db pushed by pre-commit-ci bot
October 7, 2024 18:18 4m 16s pre-commit-ci-update-config
pre-commit-ci-update-config
October 7, 2024 18:18 4m 16s
Make 'just scratch' set nofile so the scratch buffer doesn't prompt t… Tests #2328: Commit 62946f6 pushed by Julian
October 2, 2024 22:44 1m 44s main
main
October 2, 2024 22:44 1m 44s
Fix infoview updating when it's first opened via tabedit rather than … Tests #2327: Commit 42f9d01 pushed by Julian
October 2, 2024 22:35 2m 3s main
main
October 2, 2024 22:35 2m 3s
Add a failing?? test for multiple widget suggestion contents. Tests #2326: Commit 377d6e8 pushed by Julian
October 2, 2024 16:24 2m 7s custom-widget-include-source
custom-widget-include-source
October 2, 2024 16:24 2m 7s
Cleaner hypotheses assembling, killing the last trailing newline occu… Tests #2325: Commit acd713f pushed by Julian
October 2, 2024 16:22 2m 19s main
main
October 2, 2024 16:22 2m 19s
Add explicit tests for diagnostics shown in the infoview. Tests #2324: Commit c04a0a0 pushed by Julian
October 1, 2024 19:40 3m 18s main
main
October 1, 2024 19:40 3m 18s
Regenerate vimdocs Tests #2323: Commit c9ea0f9 pushed by Julian
September 28, 2024 21:07 1m 49s v2024.9.2
v2024.9.2
September 28, 2024 21:07 1m 49s
Generate a GitHub release on tag release. Tests #2322: Commit eaf32eb pushed by Julian
September 28, 2024 20:47 1m 18s main
main
September 28, 2024 20:47 1m 18s
Do abbreviation cleanup via something on vim.b. Tests #2321: Commit 08216f6 pushed by Julian
September 24, 2024 18:13 1m 24s v2024.9.1
v2024.9.1
September 24, 2024 18:13 1m 24s
Do abbreviation cleanup via something on vim.b. Tests #2320: Commit 08216f6 pushed by Julian
September 24, 2024 18:07 1m 20s main
main
September 24, 2024 18:07 1m 20s