Skip to content

Actions: Julian/lean.nvim

Actions

Regenerate Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
227 workflow runs
227 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a failing test for switching between camel case segments. Regenerate Documentation #227: Commit 2b9056c pushed by Julian
January 31, 2025 22:41 14s switch-camel
switch-camel
January 31, 2025 22:41 14s
Three more indent tests, two failing. Regenerate Documentation #226: Commit 5e0ecb3 pushed by Julian
January 28, 2025 17:51 1m 38s more-indent-cases
more-indent-cases
January 28, 2025 17:51 1m 38s
Merge pull request #375 from Julian/pre-commit-ci-update-config Regenerate Documentation #225: Commit 46012b9 pushed by Julian
January 20, 2025 21:12 1m 3s main
main
January 20, 2025 21:12 1m 3s
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #224: Commit 5f5a473 pushed by pre-commit-ci bot
January 20, 2025 17:38 57s pre-commit-ci-update-config
pre-commit-ci-update-config
January 20, 2025 17:38 57s
Pass along more errors from infoview components. Regenerate Documentation #223: Commit 27bfc20 pushed by Julian
January 18, 2025 14:41 1m 4s main
main
January 18, 2025 14:41 1m 4s
Call the synchronous update Pin method when the LSP clients die. Regenerate Documentation #222: Commit cffe407 pushed by Julian
January 18, 2025 00:08 59s main
main
January 18, 2025 00:08 59s
Send failed RPC calls through the logging framework. Regenerate Documentation #221: Commit 76c11ed pushed by Julian
January 17, 2025 20:09 1m 1s main
main
January 17, 2025 20:09 1m 1s
Lean Together livecoding: pin partial_fixpoint to the left in indent. Regenerate Documentation #220: Commit b5ff076 pushed by Julian
January 14, 2025 18:11 1m 1s main
main
January 14, 2025 18:11 1m 1s
Regenerate Documentation Regenerate Documentation #219: by Julian
January 13, 2025 19:40 1m 0s main
main
January 13, 2025 19:40 1m 0s
Try to avoid strange test errors when we aren't testing progress bars. Regenerate Documentation #218: Commit 91a69d3 pushed by Julian
January 12, 2025 19:48 57s main
main
January 12, 2025 19:48 57s
Re-enable progress bars even if satellite is installed. Regenerate Documentation #217: Commit 27c4dcd pushed by Julian
January 12, 2025 19:26 58s main
main
January 12, 2025 19:26 58s
Back out the structure literal syntax separation. Regenerate Documentation #216: Commit 1da3354 pushed by Julian
January 11, 2025 14:03 1m 3s main
main
January 11, 2025 14:03 1m 3s
Merge pull request #373 from funemy/main Regenerate Documentation #215: Commit dbb4196 pushed by Julian
January 9, 2025 00:28 1m 4s main
main
January 9, 2025 00:28 1m 4s
Merge pull request #372 from Julian/pre-commit-ci-update-config Regenerate Documentation #214: Commit 7c1f0d6 pushed by Julian
January 6, 2025 19:16 52s main
main
January 6, 2025 19:16 52s
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #213: Commit b264029 pushed by pre-commit-ci bot
January 6, 2025 17:56 57s pre-commit-ci-update-config
pre-commit-ci-update-config
January 6, 2025 17:56 57s
apply rename Regenerate Documentation #212: Commit 91809ab pushed by Julian
January 3, 2025 14:25 50s tree-sitter-redux
tree-sitter-redux
January 3, 2025 14:25 50s
Minor style. Regenerate Documentation #211: Commit b801355 pushed by Julian
December 31, 2024 15:21 51s main
main
December 31, 2024 15:21 51s
Revert "Also jump between do/return." Regenerate Documentation #210: Commit 18606e0 pushed by Julian
December 31, 2024 15:12 55s main
main
December 31, 2024 15:12 55s
Mention vim-matchup in the README. Regenerate Documentation #209: Commit 8bcc7c0 pushed by Julian
December 31, 2024 15:05 1m 4s main
main
December 31, 2024 15:05 1m 4s
Also jump between do/return. Regenerate Documentation #208: Commit 4b216e8 pushed by Julian
December 31, 2024 13:53 51s main
main
December 31, 2024 13:53 51s
Merge pull request #371 from Julian/pre-commit-ci-update-config Regenerate Documentation #207: Commit 6001ad3 pushed by Julian
December 30, 2024 20:03 53s main
main
December 30, 2024 20:03 53s
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #206: Commit 3f244f1 pushed by pre-commit-ci bot
December 30, 2024 17:29 56s pre-commit-ci-update-config
pre-commit-ci-update-config
December 30, 2024 17:29 56s
Minor highlight tweaks. Regenerate Documentation #205: Commit b2915aa pushed by Julian
December 30, 2024 17:13 57s main
main
December 30, 2024 17:13 57s
Make try this replacement not mis-replace on lines with unicode. Regenerate Documentation #204: Commit 7a78fb4 pushed by Julian
December 29, 2024 23:06 55s main
main
December 29, 2024 23:06 55s
Hackily immediately change the infoview when the LSP dies. Regenerate Documentation #203: Commit 0c8e067 pushed by Julian
December 28, 2024 23:14 48s v2024.12.2
v2024.12.2
December 28, 2024 23:14 48s