Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abbreviations Abbreviations #10: Scheduled
July 16, 2023 03:06 16s main
main
July 16, 2023 03:06 16s
Abbreviations Abbreviations #9: Scheduled
July 15, 2023 03:04 15s main
main
July 15, 2023 03:04 15s
Abbreviations Abbreviations #8: Scheduled
July 14, 2023 03:02 12s main
main
July 14, 2023 03:02 12s
Abbreviations Abbreviations #7: Scheduled
July 13, 2023 03:02 15s main
main
July 13, 2023 03:02 15s
Abbreviations Abbreviations #6: Scheduled
July 12, 2023 03:00 16s main
main
July 12, 2023 03:00 16s
Abbreviations Abbreviations #5: Scheduled
July 11, 2023 02:57 13s main
main
July 11, 2023 02:57 13s
Narrow some type hints. Tests #1968: Commit 891294b pushed by Julian
July 10, 2023 14:43 5m 17s main
main
July 10, 2023 14:43 5m 17s
Abbreviations Abbreviations #4: Scheduled
July 10, 2023 03:03 15s main
main
July 10, 2023 03:03 15s
Abbreviations Abbreviations #3: Scheduled
July 9, 2023 03:05 13s main
main
July 9, 2023 03:05 13s
Abbreviations Abbreviations #2: Scheduled
July 8, 2023 03:02 17s main
main
July 8, 2023 03:02 17s
Abbreviations Abbreviations #1: Manually run by Julian
July 7, 2023 08:06 19s main
main
July 7, 2023 08:06 19s
Try adding a workflow to autosync the VSCode abbreviations. Tests #1967: Commit 9263a78 pushed by Julian
July 7, 2023 08:05 3m 36s main
main
July 7, 2023 08:05 3m 36s