Skip to content

Actions: Julian/lean.nvim

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
394 workflow runs
394 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove another Lean 3 vestige. Tests #2201: Commit cbccd4d pushed by Julian
June 30, 2024 00:11 1m 16s main
main
June 30, 2024 00:11 1m 16s
More modern ways for finding LSP clients and their diagnostics. Tests #2200: Commit 3ac1062 pushed by Julian
June 29, 2024 18:54 1m 17s main
main
June 29, 2024 18:54 1m 17s
Tests Tests #2199: by Julian
June 10, 2024 08:16 1m 28s lean3
lean3
June 10, 2024 08:16 1m 28s
Remove support for Lean 3. Tests #2198: Commit 3c0b483 pushed by Julian
June 10, 2024 08:16 1m 31s main
main
June 10, 2024 08:16 1m 31s
Add an even quicker way to get a scratch isolated nvim. Tests #2197: Commit 6ac7bea pushed by Julian
June 7, 2024 06:37 2m 33s main
main
June 7, 2024 06:37 2m 33s
Remove the mapping for sorry filling. Tests #2196: Commit dab10cc pushed by Julian
June 3, 2024 06:21 1m 17s main
main
June 3, 2024 06:21 1m 17s
vim.loop is also deprecated. Tests #2195: Commit 6781f42 pushed by Julian
June 1, 2024 13:00 1m 24s main
main
June 1, 2024 13:00 1m 24s
Merge pull request #339 from Julian/pre-commit-ci-update-config Tests #2194: Commit 625fc67 pushed by Julian
May 31, 2024 14:32 1m 20s main
main
May 31, 2024 14:32 1m 20s
Merge pull request #337 from MithicSpirit/infoview-opts Tests #2193: Commit 91377b3 pushed by Julian
May 28, 2024 06:11 1m 31s main
main
May 28, 2024 06:11 1m 31s
[pre-commit.ci] pre-commit autoupdate Tests #2192: Pull request #339 opened by pre-commit-ci bot
May 27, 2024 17:37 1m 13s pre-commit-ci-update-config
pre-commit-ci-update-config
May 27, 2024 17:37 1m 13s
[pre-commit.ci] pre-commit autoupdate Tests #2191: Commit 3b88d42 pushed by pre-commit-ci bot
May 27, 2024 17:37 1m 23s pre-commit-ci-update-config
pre-commit-ci-update-config
May 27, 2024 17:37 1m 23s
feat(infoview): more buffer options Tests #2190: Pull request #337 synchronize by MithicSpirit
May 26, 2024 16:56 1m 21s MithicSpirit:infoview-opts
MithicSpirit:infoview-opts
May 26, 2024 16:56 1m 21s
feat(infoview): more buffer options Tests #2189: Pull request #337 synchronize by MithicSpirit
May 26, 2024 15:56 1m 25s MithicSpirit:infoview-opts
MithicSpirit:infoview-opts
May 26, 2024 15:56 1m 25s
Merge pull request #338 from MithicSpirit/nvim-lsp-setup Tests #2188: Commit 8473b85 pushed by Julian
May 26, 2024 14:17 1m 23s main
main
May 26, 2024 14:17 1m 23s
Fix whatever shared state has broken the tests in 0.10. Tests #2187: Commit 9624068 pushed by Julian
May 26, 2024 14:13 1m 10s main
main
May 26, 2024 14:13 1m 10s
fix(abbr): don't stop abbr on {}() Tests #2186: Pull request #338 opened by MithicSpirit
May 25, 2024 21:32 1m 24s MithicSpirit:nvim-lsp-setup
MithicSpirit:nvim-lsp-setup
May 25, 2024 21:32 1m 24s
feat(infoview): more buffer options Tests #2185: Pull request #337 opened by MithicSpirit
May 25, 2024 21:18 1m 23s MithicSpirit:infoview-opts
MithicSpirit:infoview-opts
May 25, 2024 21:18 1m 23s
Merge pull request #336 from mattrobball/main Tests #2184: Commit 59de4ad pushed by Julian
May 22, 2024 10:28 1m 20s main
main
May 22, 2024 10:28 1m 20s
chore: adapt to changes in client fields for vim.lsp.client Tests #2183: Pull request #336 opened by mattrobball
May 22, 2024 10:19 1m 26s mattrobball:main
mattrobball:main
May 22, 2024 10:19 1m 26s
Update the Lean version for our sample project. Tests #2182: Commit bfef3cb pushed by Julian
May 17, 2024 07:52 1m 21s main
main
May 17, 2024 07:52 1m 21s
Tests Tests #2181: Manually run by Julian
May 6, 2024 13:19 1m 9s main
main
May 6, 2024 13:19 1m 9s
Merge pull request #335 from Julian/pre-commit-ci-update-config Tests #2180: Commit 2828898 pushed by Julian
April 9, 2024 21:01 2m 6s main
main
April 9, 2024 21:01 2m 6s
[pre-commit.ci] pre-commit autoupdate Tests #2179: Pull request #335 opened by pre-commit-ci bot
April 8, 2024 17:48 2m 1s pre-commit-ci-update-config
pre-commit-ci-update-config
April 8, 2024 17:48 2m 1s
[pre-commit.ci] pre-commit autoupdate Tests #2178: Commit c73c4fa pushed by pre-commit-ci bot
April 8, 2024 17:48 1m 51s pre-commit-ci-update-config
pre-commit-ci-update-config
April 8, 2024 17:48 1m 51s
Drop some old legacy code. Tests #2177: Commit 023cde8 pushed by Julian
March 29, 2024 16:59 1m 3s main
main
March 29, 2024 16:59 1m 3s
ProTip! You can narrow down the results and go further in time using created:<2024-03-29 or the other filters available.