Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
912 workflow runs
912 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Also remove Lean 3 from the short instructions. Tests #1974: Commit 682881d pushed by Julian
August 4, 2023 10:17 2m 45s main
main
August 4, 2023 10:17 2m 45s
De-emphasize Lean 3 in the README. Tests #1973: Commit 8a008a6 pushed by Julian
August 4, 2023 10:15 2m 50s main
main
August 4, 2023 10:15 2m 50s
Abbreviations Abbreviations #29: Scheduled
August 4, 2023 02:45 12s main
main
August 4, 2023 02:45 12s
Abbreviations Abbreviations #28: Scheduled
August 3, 2023 02:45 13s main
main
August 3, 2023 02:45 13s
Abbreviations Abbreviations #27: Scheduled
August 2, 2023 02:45 16s main
main
August 2, 2023 02:45 16s
Abbreviations Abbreviations #26: Scheduled
August 1, 2023 02:48 14s main
main
August 1, 2023 02:48 14s
Abbreviations Abbreviations #25: Scheduled
July 31, 2023 02:46 14s main
main
July 31, 2023 02:46 14s
Abbreviations Abbreviations #24: Scheduled
July 30, 2023 02:45 16s main
main
July 30, 2023 02:45 16s
Abbreviations Abbreviations #23: Scheduled
July 29, 2023 02:45 12s main
main
July 29, 2023 02:45 12s
Abbreviations Abbreviations #22: Scheduled
July 28, 2023 02:45 11s main
main
July 28, 2023 02:45 11s
Bump the Lean versions in CI. Tests #1972: Commit b82d1e8 pushed by Julian
July 27, 2023 09:17 2m 52s main
main
July 27, 2023 09:17 2m 52s
Wrong namespace technically. Tests #1971: Commit 9955f5b pushed by Julian
July 27, 2023 09:08 2m 41s main
main
July 27, 2023 09:08 2m 41s
Quick docs on the initialization options for Lean 4, particularly edi… Tests #1970: Commit d463275 pushed by Julian
July 27, 2023 09:04 2m 19s main
main
July 27, 2023 09:04 2m 19s
Abbreviations Abbreviations #21: Scheduled
July 27, 2023 02:45 13s main
main
July 27, 2023 02:45 13s
Abbreviations Abbreviations #20: Scheduled
July 26, 2023 02:47 15s main
main
July 26, 2023 02:47 15s
Abbreviations Abbreviations #19: Scheduled
July 25, 2023 02:54 15s main
main
July 25, 2023 02:54 15s
Abbreviations Abbreviations #18: Scheduled
July 24, 2023 02:47 15s main
main
July 24, 2023 02:47 15s
Abbreviations Abbreviations #17: Scheduled
July 23, 2023 02:49 19s main
main
July 23, 2023 02:49 19s
Abbreviations Abbreviations #16: Scheduled
July 22, 2023 02:46 15s main
main
July 22, 2023 02:46 15s
Abbreviations Abbreviations #15: Scheduled
July 21, 2023 02:47 14s main
main
July 21, 2023 02:47 14s
Abbreviations Abbreviations #14: Scheduled
July 20, 2023 02:46 16s main
main
July 20, 2023 02:46 16s
? is a valid identifier character in Lean. Tests #1969: Commit bb2ac98 pushed by Julian
July 19, 2023 16:04 2m 40s main
main
July 19, 2023 16:04 2m 40s
Abbreviations Abbreviations #13: Scheduled
July 19, 2023 03:27 14s main
main
July 19, 2023 03:27 14s
Abbreviations Abbreviations #12: Scheduled
July 18, 2023 03:01 15s main
main
July 18, 2023 03:01 15s
Abbreviations Abbreviations #11: Scheduled
July 17, 2023 03:04 15s main
main
July 17, 2023 03:04 15s
ProTip! You can narrow down the results and go further in time using created:<2023-07-17 or the other filters available.