Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abbreviations Abbreviations #433: Scheduled
September 11, 2024 02:52 14s main
main
September 11, 2024 02:52 14s
Abbreviations Abbreviations #432: Scheduled
September 10, 2024 02:54 12s main
main
September 10, 2024 02:54 12s
Abbreviations Abbreviations #431: Scheduled
September 9, 2024 02:55 25s main
main
September 9, 2024 02:55 25s
Abbreviations Abbreviations #430: Scheduled
September 8, 2024 02:55 10s main
main
September 8, 2024 02:55 10s
Abbreviations Abbreviations #429: Scheduled
September 7, 2024 02:51 14s main
main
September 7, 2024 02:51 14s
Abbreviations Abbreviations #428: Scheduled
September 6, 2024 02:52 10s main
main
September 6, 2024 02:52 10s
Abbreviations Abbreviations #427: Scheduled
September 5, 2024 02:52 15s main
main
September 5, 2024 02:52 15s
Allow not fixing the infoview window dimensions. Tests #2275: Commit 724b844 pushed by Julian
September 4, 2024 16:00 1m 24s maybe-fixed-size
maybe-fixed-size
September 4, 2024 16:00 1m 24s
WIP Tests #2274: Commit a1eae24 pushed by Julian
September 4, 2024 15:54 1m 54s filter-hypotheses
filter-hypotheses
September 4, 2024 15:54 1m 54s
Try replacing UIParams with normal TextDocumentPositionParams. Tests #2273: Commit ad2fca7 pushed by Julian
September 4, 2024 15:52 2m 19s remove-ui-params
remove-ui-params
September 4, 2024 15:52 2m 19s
Add an alternate way to enable abbreviations in other filetypes / buf… Tests #2272: Commit 3548214 pushed by Julian
September 4, 2024 15:51 1m 25s abbreviations-attach
abbreviations-attach
September 4, 2024 15:51 1m 25s
Bump the Lean versions in CI. Tests #2271: Commit d89d027 pushed by Julian
September 4, 2024 15:50 1m 22s main
main
September 4, 2024 15:50 1m 22s
Include source for custom widgets we're reimplementing. Tests #2270: Commit b829054 pushed by Julian
September 4, 2024 15:47 1m 19s custom-widget-include-source
custom-widget-include-source
September 4, 2024 15:47 1m 19s
Style. Tests #2269: Commit 45a3a5b pushed by Julian
September 4, 2024 15:45 1m 32s custom-widget-include-source
custom-widget-include-source
September 4, 2024 15:45 1m 32s
Add a switch for swapping the rewrite direction of lemmas. Tests #2268: Commit 34fd70e pushed by Julian
September 4, 2024 15:43 1m 18s rw-switch
rw-switch
September 4, 2024 15:43 1m 18s
WIP Tests #2267: Commit 524555b pushed by Julian
September 4, 2024 15:41 36m 5s nio
nio
September 4, 2024 15:41 36m 5s
Abbreviations Abbreviations #426: Scheduled
September 4, 2024 02:52 14s main
main
September 4, 2024 02:52 14s
Style. Tests #2266: Commit 45a3a5b pushed by Julian
September 4, 2024 01:16 1m 15s main
main
September 4, 2024 01:16 1m 15s
Why was this on _G again? Tests #2265: Commit 02a2db0 pushed by Julian
September 3, 2024 18:46 1m 24s main
main
September 3, 2024 18:46 1m 24s
Minor simplification now that we have just one project fixture. Tests #2264: Commit b2cf64f pushed by Julian
September 3, 2024 16:53 1m 25s main
main
September 3, 2024 16:53 1m 25s
Abbreviations Abbreviations #425: Scheduled
September 3, 2024 02:51 4m 25s main
main
September 3, 2024 02:51 4m 25s
Abbreviations Abbreviations #424: Scheduled
September 2, 2024 02:54 19s main
main
September 2, 2024 02:54 19s
Abbreviations Abbreviations #423: Scheduled
September 1, 2024 02:58 13s main
main
September 1, 2024 02:58 13s
Abbreviations Abbreviations #422: Scheduled
August 31, 2024 02:51 11s main
main
August 31, 2024 02:51 11s
Abbreviations Abbreviations #421: Scheduled
August 30, 2024 02:52 12s main
main
August 30, 2024 02:52 12s