Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,389 workflow runs
2,389 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Also hide 0.11's virtual lines from Processing diagnostics. Regenerate Documentation #276: Commit e2e4352 pushed by Julian
53s main
main
53s
Also hide 0.11's virtual lines from Processing diagnostics. GitHub Actions Security Analysis with zizmor 🌈 #4: Commit e2e4352 pushed by Julian
56s main
main
56s
Bump the Lean versions in CI. Tests #2579: Commit 7a456c2 pushed by Julian
2m 25s main
main
2m 25s
Bump the Lean versions in CI. GitHub Actions Security Analysis with zizmor 🌈 #3: Commit 7a456c2 pushed by Julian
43s main
main
43s
Bump the Lean versions in CI. Regenerate Documentation #275: Commit 7a456c2 pushed by Julian
1m 0s main
main
1m 0s
Keep testing on neovim v0.10 until whenever we drop support. Tests #2578: Commit b07fc97 pushed by Julian
2m 0s main
main
2m 0s
Keep testing on neovim v0.10 until whenever we drop support. GitHub Actions Security Analysis with zizmor 🌈 #2: Commit b07fc97 pushed by Julian
51s main
main
51s
Keep testing on neovim v0.10 until whenever we drop support. Regenerate Documentation #274: Commit b07fc97 pushed by Julian
48s main
main
48s
Run zizmor in CI. GitHub Actions Security Analysis with zizmor 🌈 #1: Commit dcdfdcc pushed by Julian
3m 15s main
main
3m 15s
Run zizmor in CI. Tests #2577: Commit dcdfdcc pushed by Julian
1m 58s main
main
1m 58s
Run zizmor in CI. Regenerate Documentation #273: Commit dcdfdcc pushed by Julian
1m 7s main
main
1m 7s
Fix the first of the nvim 0.11 test failures. Tests #2576: Commit a577f7b pushed by Julian
2m 8s main
main
2m 8s
Fix the first of the nvim 0.11 test failures. Regenerate Documentation #272: Commit a577f7b pushed by Julian
53s main
main
53s
Abbreviations Abbreviations #631: Scheduled
13s main
main
13s
ProTip! You can narrow down the results and go further in time using created:<2025-03-27 or the other filters available.