Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
466 workflow run results
466 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abbreviations Abbreviations #416: Scheduled
August 25, 2024 02:51 12s main
main
August 25, 2024 02:51 12s
Abbreviations Abbreviations #415: Scheduled
August 24, 2024 02:49 15s main
main
August 24, 2024 02:49 15s
Add a POC for declaration motions. Tests #2254: Commit 3e5cd75 pushed by Julian
August 24, 2024 00:43 1m 21s lsp-experiments
lsp-experiments
August 24, 2024 00:43 1m 21s
Decl movement POC Tests #2253: Commit 2491fc4 pushed by Julian
August 24, 2024 00:41 1m 17s lsp-experiments
lsp-experiments
August 24, 2024 00:41 1m 17s
Abbreviations Abbreviations #414: Scheduled
August 23, 2024 02:49 13s main
main
August 23, 2024 02:49 13s
Abbreviations Abbreviations #413: Scheduled
August 22, 2024 02:49 14s main
main
August 22, 2024 02:49 14s
Abbreviations Abbreviations #412: Scheduled
August 21, 2024 02:49 16s main
main
August 21, 2024 02:49 16s
Abbreviations Abbreviations #411: Scheduled
August 20, 2024 02:50 15s main
main
August 20, 2024 02:50 15s
Abbreviations Abbreviations #410: Scheduled
August 19, 2024 02:50 11s main
main
August 19, 2024 02:50 11s
Abbreviations Abbreviations #409: Scheduled
August 18, 2024 02:49 11s main
main
August 18, 2024 02:49 11s
Abbreviations Abbreviations #408: Scheduled
August 17, 2024 02:49 12s main
main
August 17, 2024 02:49 12s
Abbreviations Abbreviations #407: Scheduled
August 16, 2024 02:49 15s main
main
August 16, 2024 02:49 15s
Abbreviations Abbreviations #406: Scheduled
August 15, 2024 02:47 11s main
main
August 15, 2024 02:47 11s
Lower the debounce and silence slightly the loogle telescope. Tests #2252: Commit 7bb86ae pushed by Julian
August 14, 2024 18:05 1m 22s main
main
August 14, 2024 18:05 1m 22s
Abbreviations Abbreviations #405: Scheduled
August 14, 2024 02:49 11s main
main
August 14, 2024 02:49 11s
Abbreviations Abbreviations #404: Scheduled
August 13, 2024 02:50 11s main
main
August 13, 2024 02:50 11s
Remove a TODO where it turns out what we had was right. Tests #2251: Commit b29cf86 pushed by Julian
August 13, 2024 00:12 1m 15s main
main
August 13, 2024 00:12 1m 15s
Allow (re)implementing widgets via Lua API. Tests #2250: Commit 729c050 pushed by Julian
August 12, 2024 12:02 1m 25s main
main
August 12, 2024 12:02 1m 25s
Abbreviations Abbreviations #403: Scheduled
August 12, 2024 02:50 15s main
main
August 12, 2024 02:50 15s
The VSCode abbreviations file location changed. Tests #2249: Commit 0ea6af3 pushed by Julian
August 11, 2024 21:32 1m 10s main
main
August 11, 2024 21:32 1m 10s
Add a satellite.nvim plugin for progress information. Tests #2248: Commit b8f8962 pushed by Julian
August 11, 2024 21:17 1m 22s main
main
August 11, 2024 21:17 1m 22s
This is needed for running lua-language-server on the CLI to lint types. Tests #2247: Commit d427cc2 pushed by Julian
August 11, 2024 17:03 1m 9s main
main
August 11, 2024 17:03 1m 9s
Bump the Lean versions in CI. Tests #2246: Commit 38acc54 pushed by Julian
August 11, 2024 16:12 1m 7s main
main
August 11, 2024 16:12 1m 7s
Nice, somehow in CI this is nil occasionally... Tests #2245: Commit 6463663 pushed by Julian
August 11, 2024 16:11 1m 24s main
main
August 11, 2024 16:11 1m 24s
May as well syntax highlight it... Tests #2244: Commit a652bcd pushed by Julian
August 11, 2024 16:04 1m 43s main
main
August 11, 2024 16:04 1m 43s