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

Abbreviations Abbreviations #470: Scheduled
October 18, 2024 02:58 11s main
main
October 18, 2024 02:58 11s
Abbreviations Abbreviations #469: Scheduled
October 17, 2024 02:57 13s main
main
October 17, 2024 02:57 13s
Add simple tests for Element:to_string. Regenerate Documentation #59: Commit 0f757cb pushed by Julian
October 16, 2024 14:18 29s main
main
October 16, 2024 14:18 29s
Add simple tests for Element:to_string. Tests #2344: Commit 0f757cb pushed by Julian
October 16, 2024 14:18 1m 49s main
main
October 16, 2024 14:18 1m 49s
Abbreviations Abbreviations #468: Scheduled
October 16, 2024 02:59 12s main
main
October 16, 2024 02:59 12s
Somehow this breaks things (specifically my cmp mapping), so TBD why. Regenerate Documentation #58: Commit a1b7879 pushed by Julian
October 16, 2024 01:38 33s main
main
October 16, 2024 01:38 33s
Somehow this breaks things (specifically my cmp mapping), so TBD why. Tests #2343: Commit a1b7879 pushed by Julian
October 16, 2024 01:38 5m 23s main
main
October 16, 2024 01:38 5m 23s
Also test infoview mappings are properly set. Tests #2342: Commit 273749f pushed by Julian
October 15, 2024 19:39 2m 26s main
main
October 15, 2024 19:39 2m 26s
Also test infoview mappings are properly set. Regenerate Documentation #57: Commit 273749f pushed by Julian
October 15, 2024 19:39 26s main
main
October 15, 2024 19:39 26s
Another minor tweak to cleaning up our abbreviations mappings. Tests #2341: Commit 1b44c09 pushed by Julian
October 15, 2024 19:09 2m 0s main
main
October 15, 2024 19:09 2m 0s
Another minor tweak to cleaning up our abbreviations mappings. Regenerate Documentation #56: Commit 1b44c09 pushed by Julian
October 15, 2024 19:09 25s main
main
October 15, 2024 19:09 25s
Oh, fun, apparently we still do rely on sequential execution :/ Regenerate Documentation #55: Commit d0ded74 pushed by Julian
October 15, 2024 18:27 19s main
main
October 15, 2024 18:27 19s
Oh, fun, apparently we still do rely on sequential execution :/ Tests #2340: Commit d0ded74 pushed by Julian
October 15, 2024 18:27 1m 57s main
main
October 15, 2024 18:27 1m 57s
This doesn't do anything anymore. Regenerate Documentation #54: Commit 8f5941e pushed by Julian
October 15, 2024 18:20 17s main
main
October 15, 2024 18:20 17s
This doesn't do anything anymore. Tests #2339: Commit 8f5941e pushed by Julian
October 15, 2024 18:20 2m 2s main
main
October 15, 2024 18:20 2m 2s
Simplerer. Regenerate Documentation #53: Commit 28afdc7 pushed by Julian
October 15, 2024 16:42 28s main
main
October 15, 2024 16:42 28s
Simplerer. Tests #2338: Commit 28afdc7 pushed by Julian
October 15, 2024 16:42 2m 18s main
main
October 15, 2024 16:42 2m 18s
Missing call to actually format an error message with its parameter. Regenerate Documentation #52: Commit 08d6772 pushed by Julian
October 15, 2024 14:23 22s main
main
October 15, 2024 14:23 22s
Missing call to actually format an error message with its parameter. Tests #2337: Commit 08d6772 pushed by Julian
October 15, 2024 14:23 2m 31s main
main
October 15, 2024 14:23 2m 31s
Abbreviations Abbreviations #467: Scheduled
October 15, 2024 02:58 16s main
main
October 15, 2024 02:58 16s
Set a default toolchain in our devcontainer. Regenerate Documentation #51: Commit fa3c288 pushed by Julian
October 14, 2024 17:55 25s main
main
October 14, 2024 17:55 25s
Set a default toolchain in our devcontainer. Tests #2336: Commit fa3c288 pushed by Julian
October 14, 2024 17:55 3m 25s main
main
October 14, 2024 17:55 3m 25s
Fix the typing for MsgEmbed traces, and remove legacy lazyTrace code … Tests #2335: Commit 919a753 pushed by Julian
October 14, 2024 12:50 1m 54s main
main
October 14, 2024 12:50 1m 54s
Fix the typing for MsgEmbed traces, and remove legacy lazyTrace code … Regenerate Documentation #50: Commit 919a753 pushed by Julian
October 14, 2024 12:50 20s main
main
October 14, 2024 12:50 20s
Abbreviations Abbreviations #466: Scheduled
October 14, 2024 02:59 13s main
main
October 14, 2024 02:59 13s