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

WIP Regenerate Documentation #191: Commit 6f6d419 pushed by Julian
December 27, 2024 02:14 14s busted
busted
December 27, 2024 02:14 14s
WIP Tests #2486: Commit 6f6d419 pushed by Julian
December 27, 2024 02:14 3m 24s busted
busted
December 27, 2024 02:14 3m 24s
Two more indents, one failing. Regenerate Documentation #190: Commit b6370dc pushed by Julian
December 27, 2024 01:54 15s more-indent-cases
more-indent-cases
December 27, 2024 01:54 15s
Two more indents, one failing. Tests #2485: Commit b6370dc pushed by Julian
December 27, 2024 01:54 3m 14s more-indent-cases
more-indent-cases
December 27, 2024 01:54 3m 14s
Abbreviations Abbreviations #539: Scheduled
December 26, 2024 02:56 16s main
main
December 26, 2024 02:56 16s
Abbreviations Abbreviations #538: Scheduled
December 25, 2024 02:55 17s main
main
December 25, 2024 02:55 17s
Meaningless test simplification in the sorry spec tests. Tests #2484: Commit 44cd9c2 pushed by Julian
December 24, 2024 22:04 1m 46s main
main
December 24, 2024 22:04 1m 46s
Meaningless test simplification in the sorry spec tests. Regenerate Documentation #189: Commit 44cd9c2 pushed by Julian
December 24, 2024 22:04 16s main
main
December 24, 2024 22:04 16s
Properly indent after =>. Regenerate Documentation #188: Commit b8c8a33 pushed by Julian
December 24, 2024 21:31 16s main
main
December 24, 2024 21:31 16s
Properly indent after =>. Tests #2483: Commit b8c8a33 pushed by Julian
December 24, 2024 21:31 1m 46s main
main
December 24, 2024 21:31 1m 46s
Abbreviations Abbreviations #537: Scheduled
December 24, 2024 02:56 10s main
main
December 24, 2024 02:56 10s
github_actions in /. - Update #936720783 Dependabot Updates #9: by dependabot bot
December 23, 2024 06:14 39s main
main
December 23, 2024 06:14 39s
Abbreviations Abbreviations #536: Scheduled
December 23, 2024 02:58 12s main
main
December 23, 2024 02:58 12s
Abbreviations Abbreviations #535: Scheduled
December 22, 2024 02:59 13s main
main
December 22, 2024 02:59 13s
Add a simple telescope picker for abbreviations. Regenerate Documentation #187: Commit bda928a pushed by Julian
December 21, 2024 12:59 18s main
main
December 21, 2024 12:59 18s
Add a simple telescope picker for abbreviations. Tests #2482: Commit bda928a pushed by Julian
December 21, 2024 12:59 1m 41s main
main
December 21, 2024 12:59 1m 41s
Abbreviations Abbreviations #534: Scheduled
December 21, 2024 02:55 16s main
main
December 21, 2024 02:55 16s
Minor README wording tweak. Tests #2481: Commit 21fc06c pushed by Julian
December 20, 2024 19:44 1m 48s main
main
December 20, 2024 19:44 1m 48s
Minor README wording tweak. Regenerate Documentation #186: Commit 21fc06c pushed by Julian
December 20, 2024 19:44 20s main
main
December 20, 2024 19:44 20s
Bump the Lean versions in CI. Tests #2480: Commit f5c18b3 pushed by Julian
December 20, 2024 17:18 1m 49s main
main
December 20, 2024 17:18 1m 49s
Bump the Lean versions in CI. Regenerate Documentation #185: Commit f5c18b3 pushed by Julian
December 20, 2024 17:18 17s main
main
December 20, 2024 17:18 17s
Abbreviations Abbreviations #533: Scheduled
December 20, 2024 02:57 12s main
main
December 20, 2024 02:57 12s
Another minor tweak to avoid nil indent arithmetic... Regenerate Documentation #184: Commit e5b541d pushed by Julian
December 19, 2024 19:24 24s main
main
December 19, 2024 19:24 24s
Another minor tweak to avoid nil indent arithmetic... Tests #2479: Commit e5b541d pushed by Julian
December 19, 2024 19:24 1m 48s main
main
December 19, 2024 19:24 1m 48s
Fix indenting after nested sorries and tactics. Tests #2478: Commit 4fa5e3e pushed by Julian
December 19, 2024 19:17 1m 43s main
main
December 19, 2024 19:17 1m 43s