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

Do the hlgroup definition for abbreviations on import. Regenerate Documentation #35: Commit cd08242 pushed by Julian
September 24, 2024 17:19 23s abbreviations-attach
abbreviations-attach
September 24, 2024 17:19 23s
Typing for some of the abbreviation config. Regenerate Documentation #34: Commit d0132df pushed by Julian
September 24, 2024 17:19 18s main
main
September 24, 2024 17:19 18s
Typing for some of the abbreviation config. Tests #2318: Commit d0132df pushed by Julian
September 24, 2024 17:19 1m 21s main
main
September 24, 2024 17:19 1m 21s
Abbreviations Abbreviations #446: Scheduled
September 24, 2024 02:57 11s main
main
September 24, 2024 02:57 11s
Merge pull request #354 from Julian/pre-commit-ci-update-config Regenerate Documentation #33: Commit 3476b94 pushed by Julian
September 23, 2024 18:30 29s main
main
September 23, 2024 18:30 29s
Merge pull request #354 from Julian/pre-commit-ci-update-config Tests #2317: Commit 3476b94 pushed by Julian
September 23, 2024 18:30 1m 18s main
main
September 23, 2024 18:30 1m 18s
Use vim.keymap for abbreviation setting. Tests #2316: Commit f9606cb pushed by Julian
September 23, 2024 18:24 1m 22s main
main
September 23, 2024 18:24 1m 22s
Use vim.keymap for abbreviation setting. Regenerate Documentation #32: Commit f9606cb pushed by Julian
September 23, 2024 18:24 21s main
main
September 23, 2024 18:24 21s
[pre-commit.ci] pre-commit autoupdate Tests #2315: Pull request #354 opened by pre-commit-ci bot
September 23, 2024 17:43 1m 26s pre-commit-ci-update-config
pre-commit-ci-update-config
September 23, 2024 17:43 1m 26s
[pre-commit.ci] pre-commit autoupdate Tests #2314: Commit 71e6a27 pushed by pre-commit-ci bot
September 23, 2024 17:43 1m 14s pre-commit-ci-update-config
pre-commit-ci-update-config
September 23, 2024 17:43 1m 14s
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #31: Commit 71e6a27 pushed by pre-commit-ci bot
September 23, 2024 17:43 18s pre-commit-ci-update-config
pre-commit-ci-update-config
September 23, 2024 17:43 18s
Minor workflow tweaks. Release #4: Commit abc7abe pushed by Julian
September 23, 2024 17:21 33s v1.1.0
v1.1.0
September 23, 2024 17:21 33s
Minor workflow tweaks. Regenerate Documentation #30: Commit abc7abe pushed by Julian
September 23, 2024 17:21 24s main
main
September 23, 2024 17:21 24s
Minor workflow tweaks. Tests #2313: Commit abc7abe pushed by Julian
September 23, 2024 17:21 1m 32s main
main
September 23, 2024 17:21 1m 32s
Minor workflow tweaks. Regenerate Documentation #29: Commit abc7abe pushed by Julian
September 23, 2024 17:21 28s v1.1.0
v1.1.0
September 23, 2024 17:21 28s
Minor workflow tweaks. Tests #2312: Commit abc7abe pushed by Julian
September 23, 2024 17:21 1m 17s v1.1.0
v1.1.0
September 23, 2024 17:21 1m 17s
Abbreviations Abbreviations #445: Scheduled
September 23, 2024 02:57 16s main
main
September 23, 2024 02:57 16s
May as well add a justenv for the devcontainer as well. Tests #2311: Commit 96ac8be pushed by Julian
September 22, 2024 22:19 1m 20s main
main
September 22, 2024 22:19 1m 20s
May as well add a justenv for the devcontainer as well. Regenerate Documentation #28: Commit 96ac8be pushed by Julian
September 22, 2024 22:19 23s main
main
September 22, 2024 22:19 23s
The stray period is hard to ignore. Tests #2310: Commit 862c1dc pushed by Julian
September 22, 2024 19:51 1m 14s main
main
September 22, 2024 19:51 1m 14s
The stray period is hard to ignore. Regenerate Documentation #27: Commit 862c1dc pushed by Julian
September 22, 2024 19:51 15s main
main
September 22, 2024 19:51 15s
Preserve any user-configured ft settings. Regenerate Documentation #26: Commit c12f3e3 pushed by Julian
September 22, 2024 18:38 22s main
main
September 22, 2024 18:38 22s
Preserve any user-configured ft settings. Tests #2309: Commit c12f3e3 pushed by Julian
September 22, 2024 18:38 1m 12s main
main
September 22, 2024 18:38 1m 12s
Teach the devcontainer image to install Mathlib and use nvim 0.10. Regenerate Documentation #25: Commit 65d6408 pushed by Julian
September 22, 2024 16:24 15s main
main
September 22, 2024 16:24 15s
Teach the devcontainer image to install Mathlib and use nvim 0.10. Tests #2308: Commit 65d6408 pushed by Julian
September 22, 2024 16:24 1m 14s main
main
September 22, 2024 16:24 1m 14s