Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,386 workflow runs
2,386 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
Use stronger buffer validity assertions in 2 more places. Tests #2595: Commit 9386f4c pushed by Julian
2m 21s main
main
2m 21s
Use stronger buffer validity assertions in 2 more places. GitHub Actions Security Analysis with zizmor 🌈 #18: Commit 9386f4c pushed by Julian
47s main
main
47s
Abbreviations Abbreviations #634: Scheduled
14s main
main
14s
Revert c8d6c380. GitHub Actions Security Analysis with zizmor 🌈 #17: Commit 97173f4 pushed by Julian
47s main
main
47s
Revert c8d6c380. Tests #2594: Commit 97173f4 pushed by Julian
2m 4s main
main
2m 4s
Revert c8d6c380. Regenerate Documentation #290: Commit 97173f4 pushed by Julian
58s main
main
58s
Minor style. Tests #2593: Commit 26500f6 pushed by Julian
2m 3s main
main
2m 3s
Minor style. GitHub Actions Security Analysis with zizmor 🌈 #16: Commit 26500f6 pushed by Julian
47s main
main
47s
Minor style. Regenerate Documentation #289: Commit 26500f6 pushed by Julian
48s main
main
48s
Slightly permute the order of operations in a test helper. GitHub Actions Security Analysis with zizmor 🌈 #15: Commit 8d17b11 pushed by Julian
52s main
main
52s
Slightly permute the order of operations in a test helper. Tests #2592: Commit 8d17b11 pushed by Julian
2m 6s main
main
2m 6s
Slightly permute the order of operations in a test helper. Regenerate Documentation #288: Commit 8d17b11 pushed by Julian
47s main
main
47s
Move around some of our internal helpers. Tests #2591: Commit 472cf85 pushed by Julian
2m 10s main
main
2m 10s
Move around some of our internal helpers. GitHub Actions Security Analysis with zizmor 🌈 #14: Commit 472cf85 pushed by Julian
37s main
main
37s
Move around some of our internal helpers. Regenerate Documentation #287: Commit 472cf85 pushed by Julian
48s main
main
48s
Split the elan support into a separate Lua package. Tests #2590: Commit 290150e pushed by Julian
2m 11s main
main
2m 11s
Split the elan support into a separate Lua package. GitHub Actions Security Analysis with zizmor 🌈 #13: Commit 290150e pushed by Julian
50s main
main
50s
Split the elan support into a separate Lua package. Regenerate Documentation #286: Commit 290150e pushed by Julian
1m 6s main
main
1m 6s
Return an error from calling RPC methods on a closed buffer. GitHub Actions Security Analysis with zizmor 🌈 #12: Commit 144fd2f pushed by Julian
34s main
main
34s
Return an error from calling RPC methods on a closed buffer. Regenerate Documentation #285: Commit 144fd2f pushed by Julian
1m 4s main
main
1m 4s
Return an error from calling RPC methods on a closed buffer. Tests #2589: Commit 144fd2f pushed by Julian
2m 13s main
main
2m 13s
Abbreviations Abbreviations #633: Scheduled
11s main
main
11s
Add lean.elan.toolchain.gc support. Tests #2588: Commit 3a3cca3 pushed by Julian
2m 8s main
main
2m 8s
Add lean.elan.toolchain.gc support. GitHub Actions Security Analysis with zizmor 🌈 #11: Commit 3a3cca3 pushed by Julian
40s main
main
40s
Add lean.elan.toolchain.gc support. Regenerate Documentation #284: Commit 3a3cca3 pushed by Julian
58s main
main
58s
ProTip! You can narrow down the results and go further in time using created:<2025-03-29 or the other filters available.