Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,199 workflow runs
1,199 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify the declaration with comment behavior. Tests #2468: Commit 7158267 pushed by Julian
December 14, 2024 10:56 1m 46s autoindent
autoindent
December 14, 2024 10:56 1m 46s
Simplify the declaration with comment behavior. Regenerate Documentation #173: Commit 7158267 pushed by Julian
December 14, 2024 10:56 1m 4s autoindent
autoindent
December 14, 2024 10:56 1m 4s
Abbreviations Abbreviations #527: Scheduled
December 14, 2024 03:02 14s main
main
December 14, 2024 03:02 14s
Sorry dedenting. Tests #2467: Commit a96f876 pushed by Julian
December 13, 2024 13:12 1m 46s autoindent
autoindent
December 13, 2024 13:12 1m 46s
Sorry dedenting. Regenerate Documentation #172: Commit a96f876 pushed by Julian
December 13, 2024 13:12 20s autoindent
autoindent
December 13, 2024 13:12 20s
And don't shift when comments look like declarations. Regenerate Documentation #171: Commit 9e25b00 pushed by Julian
December 13, 2024 08:23 35s autoindent
autoindent
December 13, 2024 08:23 35s
And don't shift when comments look like declarations. Tests #2466: Commit 9e25b00 pushed by Julian
December 13, 2024 08:23 1m 45s autoindent
autoindent
December 13, 2024 08:23 1m 45s
And another... Regenerate Documentation #170: Commit e9ba280 pushed by Julian
December 13, 2024 08:04 27s autoindent
autoindent
December 13, 2024 08:04 27s
And another... Tests #2465: Commit e9ba280 pushed by Julian
December 13, 2024 08:04 2m 21s autoindent
autoindent
December 13, 2024 08:04 2m 21s
Abbreviations Abbreviations #526: Scheduled
December 13, 2024 03:04 16s main
main
December 13, 2024 03:04 16s
Merge pull request #368 from Julian/pre-commit-ci-update-config Tests #2464: Commit c0a46bb pushed by Julian
December 12, 2024 15:20 2m 0s main
main
December 12, 2024 15:20 2m 0s
Merge pull request #368 from Julian/pre-commit-ci-update-config Regenerate Documentation #169: Commit c0a46bb pushed by Julian
December 12, 2024 15:20 21s main
main
December 12, 2024 15:20 21s
Abbreviations Abbreviations #525: Scheduled
December 12, 2024 03:04 19s main
main
December 12, 2024 03:04 19s
Abbreviations Abbreviations #524: Scheduled
December 11, 2024 03:04 14s main
main
December 11, 2024 03:04 14s
Abbreviations Abbreviations #523: Scheduled
December 10, 2024 03:05 15s main
main
December 10, 2024 03:05 15s
[pre-commit.ci] pre-commit autoupdate Tests #2463: Pull request #368 opened by pre-commit-ci bot
December 9, 2024 17:46 1m 42s pre-commit-ci-update-config
pre-commit-ci-update-config
December 9, 2024 17:46 1m 42s
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #168: Commit e5d8e35 pushed by pre-commit-ci bot
December 9, 2024 17:46 25s pre-commit-ci-update-config
pre-commit-ci-update-config
December 9, 2024 17:46 25s
[pre-commit.ci] pre-commit autoupdate Tests #2462: Commit e5d8e35 pushed by pre-commit-ci bot
December 9, 2024 17:46 2m 6s pre-commit-ci-update-config
pre-commit-ci-update-config
December 9, 2024 17:46 2m 6s
github_actions in /. - Update #929376542 Dependabot Updates #7: by dependabot bot
December 9, 2024 06:42 40s main
main
December 9, 2024 06:42 40s
Abbreviations Abbreviations #522: Scheduled
December 9, 2024 03:05 14s main
main
December 9, 2024 03:05 14s
Abbreviations Abbreviations #521: Scheduled
December 8, 2024 03:05 10s main
main
December 8, 2024 03:05 10s
Abbreviations Abbreviations #520: Scheduled
December 7, 2024 03:04 12s main
main
December 7, 2024 03:04 12s
Bump the Lean versions in CI. Tests #2461: Commit 202513a pushed by Julian
December 6, 2024 21:58 1m 46s main
main
December 6, 2024 21:58 1m 46s
Bump the Lean versions in CI. Regenerate Documentation #167: Commit 202513a pushed by Julian
December 6, 2024 21:58 17s main
main
December 6, 2024 21:58 17s
Handle another dedent case. Tests #2460: Commit deb3cc1 pushed by Julian
December 6, 2024 21:42 1m 43s autoindent
autoindent
December 6, 2024 21:42 1m 43s