Skip to content

Actions: Julian/lean.nvim

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
426 workflow runs
426 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a failing test for switching between camel case segments. Tests #2530: Commit 2b9056c pushed by Julian
January 31, 2025 22:41 2m 17s switch-camel
switch-camel
January 31, 2025 22:41 2m 17s
Three more indent tests, two failing. Tests #2529: Commit 5e0ecb3 pushed by Julian
January 28, 2025 17:51 2m 29s more-indent-cases
more-indent-cases
January 28, 2025 17:51 2m 29s
Merge pull request #375 from Julian/pre-commit-ci-update-config Tests #2528: Commit 46012b9 pushed by Julian
January 20, 2025 21:12 2m 45s main
main
January 20, 2025 21:12 2m 45s
[pre-commit.ci] pre-commit autoupdate Tests #2527: Pull request #375 opened by pre-commit-ci bot
January 20, 2025 17:38 1m 47s pre-commit-ci-update-config
pre-commit-ci-update-config
January 20, 2025 17:38 1m 47s
[pre-commit.ci] pre-commit autoupdate Tests #2526: Commit 5f5a473 pushed by pre-commit-ci bot
January 20, 2025 17:38 1m 54s pre-commit-ci-update-config
pre-commit-ci-update-config
January 20, 2025 17:38 1m 54s
Pass along more errors from infoview components. Tests #2525: Commit 27bfc20 pushed by Julian
January 18, 2025 14:41 1m 54s main
main
January 18, 2025 14:41 1m 54s
Call the synchronous update Pin method when the LSP clients die. Tests #2524: Commit cffe407 pushed by Julian
January 18, 2025 00:08 1m 28s main
main
January 18, 2025 00:08 1m 28s
Send failed RPC calls through the logging framework. Tests #2523: Commit 76c11ed pushed by Julian
January 17, 2025 20:09 2m 2s main
main
January 17, 2025 20:09 2m 2s
Lean Together livecoding: pin partial_fixpoint to the left in indent. Tests #2522: Commit b5ff076 pushed by Julian
January 14, 2025 18:11 2m 15s main
main
January 14, 2025 18:11 2m 15s
Tests Tests #2521: by Julian
January 13, 2025 19:40 2m 8s main
main
January 13, 2025 19:40 2m 8s
Try to avoid strange test errors when we aren't testing progress bars. Tests #2520: Commit 91a69d3 pushed by Julian
January 12, 2025 19:48 2m 5s main
main
January 12, 2025 19:48 2m 5s
Re-enable progress bars even if satellite is installed. Tests #2519: Commit 27c4dcd pushed by Julian
January 12, 2025 19:26 1m 49s main
main
January 12, 2025 19:26 1m 49s
Back out the structure literal syntax separation. Tests #2518: Commit 1da3354 pushed by Julian
January 11, 2025 14:03 1m 46s main
main
January 11, 2025 14:03 1m 46s
Merge pull request #373 from funemy/main Tests #2517: Commit dbb4196 pushed by Julian
January 9, 2025 00:28 1m 58s main
main
January 9, 2025 00:28 1m 58s
fix goto_last_window Tests #2516: Pull request #373 synchronize by funemy
January 9, 2025 00:18 1m 55s funemy:main
funemy:main
January 9, 2025 00:18 1m 55s
fix goto_last_window Tests #2515: Pull request #373 synchronize by funemy
January 8, 2025 23:55 2m 10s funemy:main
funemy:main
January 8, 2025 23:55 2m 10s
fix goto_last_window Tests #2514: Pull request #373 synchronize by pre-commit-ci bot
January 8, 2025 23:50 1m 52s funemy:main
funemy:main
January 8, 2025 23:50 1m 52s
fix goto_last_window Tests #2513: Pull request #373 synchronize by funemy
January 8, 2025 23:50 1m 51s funemy:main
funemy:main
January 8, 2025 23:50 1m 51s
fix goto_last_window Tests #2512: Pull request #373 opened by funemy
January 8, 2025 04:05 1m 50s funemy:main
funemy:main
January 8, 2025 04:05 1m 50s
Merge pull request #372 from Julian/pre-commit-ci-update-config Tests #2511: Commit 7c1f0d6 pushed by Julian
January 6, 2025 19:16 1m 51s main
main
January 6, 2025 19:16 1m 51s
[pre-commit.ci] pre-commit autoupdate Tests #2510: Pull request #372 opened by pre-commit-ci bot
January 6, 2025 17:56 1m 53s pre-commit-ci-update-config
pre-commit-ci-update-config
January 6, 2025 17:56 1m 53s
[pre-commit.ci] pre-commit autoupdate Tests #2509: Commit b264029 pushed by pre-commit-ci bot
January 6, 2025 17:56 1m 51s pre-commit-ci-update-config
pre-commit-ci-update-config
January 6, 2025 17:56 1m 51s
apply rename Tests #2508: Commit 91809ab pushed by Julian
January 3, 2025 14:25 1m 48s tree-sitter-redux
tree-sitter-redux
January 3, 2025 14:25 1m 48s
Minor style. Tests #2507: Commit b801355 pushed by Julian
December 31, 2024 15:21 1m 23s main
main
December 31, 2024 15:21 1m 23s
Revert "Also jump between do/return." Tests #2506: Commit 18606e0 pushed by Julian
December 31, 2024 15:12 1m 57s main
main
December 31, 2024 15:12 1m 57s