Skip to content

Actions: Julian/lean.nvim

Actions

Regenerate Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
406 workflow runs
406 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Clear progress bar signs when LSP clients stop. Regenerate Documentation #800: Commit 87392e1 pushed by Julian
47s main
main
47s
Add some enable-able instrumentation for RPC calls. Regenerate Documentation #799: Commit 6d51271 pushed by Julian
50s main
main
50s
Throttle infoview updates on cursor movement Regenerate Documentation #798: Commit 4f786e0 pushed by Julian
53s main
main
53s
Fix Lean-widget-with-JSON-null-props on Neovim 0.12. Regenerate Documentation #797: Commit d0e633c pushed by Julian
51s main
main
51s
Also mark MakeEditLinks from proof widgets as suggestions. Regenerate Documentation #796: Commit 169414c pushed by Julian
56s main
main
56s
Merge pull request #496 from Julian/pre-commit-ci-update-config Regenerate Documentation #795: Commit 9337a20 pushed by Julian
54s main
main
54s
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #794: Commit e90cb19 pushed by pre-commit-ci Bot
1m 0s pre-commit-ci-update-config
pre-commit-ci-update-config
1m 0s
Merge pull request #495 from antinomie8/main Regenerate Documentation #793: Commit 1714652 pushed by Julian
52s main
main
52s
Let autoindent handle sorry indentation in abbreviations demo Regenerate Documentation #792: Commit a4d7373 pushed by Julian
53s main
main
53s
Add inspect demo for diagnostics, hover, and go-to-definition Regenerate Documentation #791: Commit 6c3bb40 pushed by Julian
46s main
main
46s
Fix backward navigation skipping to the first match instead of the last Regenerate Documentation #790: Commit c72ed9f pushed by Julian
53s main
main
53s
Revert "Bump the Lean versions in CI." Regenerate Documentation #789: Commit 103704d pushed by Julian
49s main
main
49s
Style noise. Regenerate Documentation #788: Commit b0f7799 pushed by Julian
49s main
main
49s
Bump the Lean versions in CI. Regenerate Documentation #787: Commit 7b5c9bc pushed by Julian
44s main
main
44s
Fix pair.calc test: access self[1] not self for constructor args Regenerate Documentation #786: Commit 3ff0515 pushed by Julian
48s main
main
48s
Style noise. Regenerate Documentation #785: Commit 3a8e937 pushed by Julian
47s main
main
47s
Style noise. Regenerate Documentation #784: Commit e34f5e1 pushed by Julian
52s main
main
52s
Close sessions whose initial RPC connect request fails Regenerate Documentation #783: Commit 5f520b6 pushed by Julian
56s main
main
56s
Style noise. Regenerate Documentation #782: Commit 99c6a59 pushed by Julian
1m 1s main
main
1m 1s
tui: support multiple hlgroups per Element Regenerate Documentation #781: Commit 58c6d48 pushed by Julian
55s main
main
55s
Sigh, more. Regenerate Documentation #780: Commit 249b32f pushed by Julian
55s main
main
55s
Minor style. Regenerate Documentation #779: Commit 47ada13 pushed by Julian
56s main
main
56s
Add <Plug> mappings for all lean.nvim mappings Regenerate Documentation #778: Commit 3739a8c pushed by Julian
54s main
main
54s
Remove duplicate trace log in subsession. Regenerate Documentation #777: Commit fd7b1b0 pushed by Julian
1m 1s main
main
1m 1s
Fix some 0.12 deprecations. Regenerate Documentation #776: Commit 52226f5 pushed by Julian
54s main
main
54s