Skip to content

Actions: Julian/lean.nvim

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
426 workflow runs
426 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[pre-commit.ci] pre-commit autoupdate
Tests #2455: Pull request #366 opened by pre-commit-ci bot
December 2, 2024 17:54 2m 0s pre-commit-ci-update-config
December 2, 2024 17:54 2m 0s
[pre-commit.ci] pre-commit autoupdate
Tests #2454: Commit 207a6ad pushed by pre-commit-ci bot
December 2, 2024 17:54 1m 58s pre-commit-ci-update-config
December 2, 2024 17:54 1m 58s
Handle another dedent case.
Tests #2453: Commit 7a96c9d pushed by Julian
December 2, 2024 17:39 1m 53s autoindent
December 2, 2024 17:39 1m 53s
Add a first version of indent support.
Tests #2452: Commit 217dd20 pushed by Julian
December 2, 2024 15:01 2m 5s autoindent
December 2, 2024 15:01 2m 5s
Add a first version of indent support.
Tests #2451: Commit 6b53468 pushed by Julian
December 2, 2024 14:43 2m 15s autoindent
December 2, 2024 14:43 2m 15s
Try to resolve some occasional satellite errors.
Tests #2450: Commit c4bd75a pushed by Julian
December 2, 2024 14:43 1m 50s main
December 2, 2024 14:43 1m 50s
Add a first version of indent support.
Tests #2449: Commit 4372fa8 pushed by Julian
November 30, 2024 16:42 1m 50s autoindent
November 30, 2024 16:42 1m 50s
Add a border to abbreviation floating windows.
Tests #2448: Commit 775c1e0 pushed by Julian
November 30, 2024 16:42 1m 51s main
November 30, 2024 16:42 1m 51s
Add a first version of indent support.
Tests #2447: Commit 2bf740c pushed by Julian
November 30, 2024 15:46 2m 56s autoindent
November 30, 2024 15:46 2m 56s
More luacheck noise.
Tests #2446: Commit d05e593 pushed by Julian
November 30, 2024 15:46 1m 53s main
November 30, 2024 15:46 1m 53s
Add a first version of indent support.
Tests #2445: Commit 5f9cabe pushed by Julian
November 30, 2024 15:46 1m 46s autoindent
November 30, 2024 15:46 1m 46s
Add a first version of indent support.
Tests #2444: Commit 3b98719 pushed by Julian
November 29, 2024 03:07 1m 57s autoindent
November 29, 2024 03:07 1m 57s
Add a first version of indent support.
Tests #2443: Commit 4b191f7 pushed by Julian
November 28, 2024 02:02 2m 41s autoindent
November 28, 2024 02:02 2m 41s
Add a first version of indent support.
Tests #2442: Commit ec660b1 pushed by Julian
November 28, 2024 01:58 3m 38s autoindent
November 28, 2024 01:58 3m 38s
Add a first version of indent support.
Tests #2441: Commit 99324ab pushed by Julian
November 28, 2024 00:00 1m 52s autoindent
November 28, 2024 00:00 1m 52s
Add a first version of indent support.
Tests #2440: Commit 5615067 pushed by Julian
November 27, 2024 21:39 1m 54s autoindent
November 27, 2024 21:39 1m 54s
Add a first version of indent support.
Tests #2439: Commit ae0affd pushed by Julian
November 27, 2024 21:34 1m 55s autoindent
November 27, 2024 21:34 1m 55s
Add a first version of indent support.
Tests #2438: Commit 6d16e42 pushed by Julian
November 27, 2024 21:20 1m 55s autoindent
November 27, 2024 21:20 1m 55s
Add a first version of indent support.
Tests #2437: Commit cd2a3ab pushed by Julian
November 27, 2024 17:01 1m 57s autoindent
November 27, 2024 17:01 1m 57s
WIP
Tests #2436: Commit 8579dec pushed by Julian
November 26, 2024 01:06 1m 24s busted
November 26, 2024 01:06 1m 24s
Fix just scratch.
Tests #2435: Commit 166b941 pushed by Julian
November 25, 2024 23:15 1m 51s main
November 25, 2024 23:15 1m 51s
Merge pull request #364 from Julian/pre-commit-ci-update-config
Tests #2434: Commit 1b50173 pushed by Julian
November 25, 2024 23:05 2m 5s main
November 25, 2024 23:05 2m 5s
[pre-commit.ci] pre-commit autoupdate
Tests #2433: Pull request #364 opened by pre-commit-ci bot
November 25, 2024 17:44 1m 44s pre-commit-ci-update-config
November 25, 2024 17:44 1m 44s
[pre-commit.ci] pre-commit autoupdate
Tests #2432: Commit 7089eb3 pushed by pre-commit-ci bot
November 25, 2024 17:44 2m 0s pre-commit-ci-update-config
November 25, 2024 17:44 2m 0s
WIP
Tests #2431: Commit 4e96953 pushed by Julian
November 25, 2024 17:34 1m 20s busted
November 25, 2024 17:34 1m 20s