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
Remove some keywords in leanDeclaration GitHub Actions Security Analysis with zizmor 🌈 #30: Pull request #385 synchronize by stephen-huan
40s stephen-huan:fix-keywords
stephen-huan:fix-keywords
40s
Remove some keywords in leanDeclaration Tests #2612: Pull request #385 opened by stephen-huan
2m 34s stephen-huan:fix-keywords
stephen-huan:fix-keywords
2m 34s
Remove some keywords in leanDeclaration GitHub Actions Security Analysis with zizmor 🌈 #29: Pull request #385 opened by stephen-huan
3m 3s stephen-huan:fix-keywords
stephen-huan:fix-keywords
3m 3s
Abbreviations Abbreviations #640: Scheduled
15s main
main
15s
Abbreviations Abbreviations #639: Scheduled
11s main
main
11s
Abbreviations Abbreviations #638: Scheduled
12s main
main
12s
WIP Tests #2611: Commit 86c7608 pushed by Julian
3m 40s selections
selections
3m 40s
WIP Regenerate Documentation #307: Commit 86c7608 pushed by Julian
59s selections
selections
59s
Add (back) a highlight group for multiple goal headings. GitHub Actions Security Analysis with zizmor 🌈 #28: Commit a809b93 pushed by Julian
47s main
main
47s
Add (back) a highlight group for multiple goal headings. Regenerate Documentation #306: Commit a809b93 pushed by Julian
47s main
main
47s
Add (back) a highlight group for multiple goal headings. Tests #2610: Commit a809b93 pushed by Julian
2m 29s main
main
2m 29s
WIP Tests #2609: Commit 205cfe2 pushed by Julian
2m 53s selections
selections
2m 53s
WIP Regenerate Documentation #305: Commit 205cfe2 pushed by Julian
1m 1s selections
selections
1m 1s
Bump the Lean versions for our tests to 4.19. GitHub Actions Security Analysis with zizmor 🌈 #27: Commit c4c103d pushed by Julian
48s main
main
48s
Bump the Lean versions for our tests to 4.19. Tests #2608: Commit c4c103d pushed by Julian
2m 28s main
main
2m 28s
Bump the Lean versions for our tests to 4.19. Regenerate Documentation #304: Commit c4c103d pushed by Julian
50s main
main
50s
Inline a helper we'll eventually remove everywhere. GitHub Actions Security Analysis with zizmor 🌈 #26: Commit eb651f5 pushed by Julian
42s main
main
42s
Inline a helper we'll eventually remove everywhere. Tests #2607: Commit eb651f5 pushed by Julian
2m 36s main
main
2m 36s
Inline a helper we'll eventually remove everywhere. Regenerate Documentation #303: Commit eb651f5 pushed by Julian
51s main
main
51s
Try removing two old hacks. Tests #2606: Commit 688537d pushed by Julian
2m 24s main
main
2m 24s
Try removing two old hacks. GitHub Actions Security Analysis with zizmor 🌈 #25: Commit 688537d pushed by Julian
31s main
main
31s
Try removing two old hacks. Regenerate Documentation #302: Commit 688537d pushed by Julian
49s main
main
49s
Remove a hand-rolled Element:concat remnant. GitHub Actions Security Analysis with zizmor 🌈 #24: Commit b2c3647 pushed by Julian
37s main
main
37s
Remove a hand-rolled Element:concat remnant. Tests #2605: Commit b2c3647 pushed by Julian
2m 10s main
main
2m 10s
Remove a hand-rolled Element:concat remnant. Regenerate Documentation #301: Commit b2c3647 pushed by Julian
49s main
main
49s
ProTip! You can narrow down the results and go further in time using created:<2025-04-02 or the other filters available.