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
Don't fallback to making plain goal requests when interactive fails. GitHub Actions Security Analysis with zizmor 🌈 #23: Commit 04b7d38 pushed by Julian
50s main
main
50s
Don't fallback to making plain goal requests when interactive fails. Regenerate Documentation #300: Commit 04b7d38 pushed by Julian
56s main
main
56s
Don't fallback to making plain goal requests when interactive fails. Tests #2604: Commit 04b7d38 pushed by Julian
2m 52s main
main
2m 52s
More accurate highlighting for goal cases. Regenerate Documentation #299: Commit 3bea280 pushed by Julian
1m 6s main
main
1m 6s
More accurate highlighting for goal cases. Tests #2603: Commit 3bea280 pushed by Julian
2m 20s main
main
2m 20s
More accurate highlighting for goal cases. GitHub Actions Security Analysis with zizmor 🌈 #22: Commit 3bea280 pushed by Julian
34s main
main
34s
Abbreviations Abbreviations #637: Scheduled
13s main
main
13s
WIP Regenerate Documentation #298: Commit 9424041 pushed by Julian
50s selections
selections
50s
WIP Tests #2602: Commit 9424041 pushed by Julian
3m 24s selections
selections
3m 24s
Regenerate vimdocs Tests #2601: Commit 483ff64 pushed by Julian
1m 52s main
main
1m 52s
Regenerate vimdocs GitHub Actions Security Analysis with zizmor 🌈 #21: Commit 483ff64 pushed by Julian
32s main
main
32s
Regenerate vimdocs Regenerate Documentation #297: Commit 483ff64 pushed by Julian
57s main
main
57s
Split out plain-goal related things into a separate module. Regenerate Documentation #296: Commit e98d403 pushed by Julian
56s selections
selections
56s
Split out plain-goal related things into a separate module. Tests #2600: Commit e98d403 pushed by Julian
2m 13s selections
selections
2m 13s
WIP Tests #2599: Commit b078232 pushed by Julian
3m 24s selections
selections
3m 24s
WIP Regenerate Documentation #295: Commit b078232 pushed by Julian
1m 1s selections
selections
1m 1s
Reimplement our main widget types via our "inductive" types. GitHub Actions Security Analysis with zizmor 🌈 #20: Commit ad315db pushed by Julian
35s main
main
35s
Reimplement our main widget types via our "inductive" types. Tests #2598: Commit ad315db pushed by Julian
2m 26s main
main
2m 26s
Reimplement our main widget types via our "inductive" types. Regenerate Documentation #294: Commit ad315db pushed by Julian
1m 11s main
main
1m 11s
WIP Regenerate Documentation #293: Commit 2750c93 pushed by Julian
51s selections
selections
51s
WIP Tests #2597: Commit 2750c93 pushed by Julian
4m 12s selections
selections
4m 12s
Abbreviations Abbreviations #636: Scheduled
11s main
main
11s
github_actions in /. - Update #989314561 Dependabot Updates #23: by dependabot Bot
35s main
main
35s
Abbreviations Abbreviations #635: Scheduled
14s main
main
14s
Make two failing tests use real files. GitHub Actions Security Analysis with zizmor 🌈 #19: Commit ddb8814 pushed by Julian
30s main
main
30s
ProTip! You can narrow down the results and go further in time using created:<2025-03-30 or the other filters available.