Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump extractions/setup-just from 3.0.0 to 3.1.0 GitHub Actions Security Analysis with zizmor 🌈 #388: Pull request #478 opened by dependabot bot
26s dependabot/github_actions/extractions/setup-just-3.1.0
dependabot/github_actions/extractions/setup-just-3.1.0
26s
Bump extractions/setup-just from 3.0.0 to 3.1.0 Tests #3145: Pull request #478 opened by dependabot bot
6m 27s dependabot/github_actions/extractions/setup-just-3.1.0
dependabot/github_actions/extractions/setup-just-3.1.0
6m 27s
Bump extractions/setup-just from 3.0.0 to 3.1.0 Regenerate Documentation #736: Commit ddd9dfa pushed by dependabot bot
54s dependabot/github_actions/extractions/setup-just-3.1.0
dependabot/github_actions/extractions/setup-just-3.1.0
54s
Bump extractions/setup-just from 3.0.0 to 3.1.0 Tests #3144: Commit ddd9dfa pushed by dependabot bot
4m 15s dependabot/github_actions/extractions/setup-just-3.1.0
dependabot/github_actions/extractions/setup-just-3.1.0
4m 15s
github_actions in /. - Update #1264500498 Dependabot Updates #77: by dependabot bot
56s main
main
56s
Abbreviations Abbreviations #971: Scheduled
11s main
main
11s
Abbreviations Abbreviations #970: Scheduled
8s main
main
8s
Abbreviations Abbreviations #969: Scheduled
12s main
main
12s
Abbreviations Abbreviations #968: Scheduled
13s main
main
13s
Abbreviations Abbreviations #967: Scheduled
11s main
main
11s
Abbreviations Abbreviations #966: Scheduled
13s main
main
13s
Abbreviations Abbreviations #965: Scheduled
10s main
main
10s
github_actions in /. - Update #1254197870 Dependabot Updates #76: by dependabot bot
54s main
main
54s
Abbreviations Abbreviations #964: Scheduled
11s main
main
11s
Abbreviations Abbreviations #963: Scheduled
11s main
main
11s
In infoview, avoid computing #element.text when it might be vim.NIL GitHub Actions Security Analysis with zizmor 🌈 #387: Pull request #474 synchronize by scott7z
23s scott7z:infoview-fixes
scott7z:infoview-fixes
23s
In infoview, avoid computing #element.text when it might be vim.NIL Tests #3143: Pull request #474 synchronize by scott7z
6m 9s scott7z:infoview-fixes
scott7z:infoview-fixes
6m 9s
zizmor fixes GitHub Actions Security Analysis with zizmor 🌈 #386: Commit 4f9d484 pushed by Julian
19s main
main
19s
zizmor fixes Tests #3142: Commit 4f9d484 pushed by Julian
4m 34s main
main
4m 34s
zizmor fixes Regenerate Documentation #735: Commit 4f9d484 pushed by Julian
59s main
main
59s
Add param helpers for Lean's internal client->server wait requests. Regenerate Documentation #734: Commit a3a5b08 pushed by Julian
1m 0s main
main
1m 0s
Add param helpers for Lean's internal client->server wait requests. Tests #3141: Commit a3a5b08 pushed by Julian
4m 8s main
main
4m 8s
Add param helpers for Lean's internal client->server wait requests. GitHub Actions Security Analysis with zizmor 🌈 #385: Commit a3a5b08 pushed by Julian
19s main
main
19s
Only bind mappings if they're not already used GitHub Actions Security Analysis with zizmor 🌈 #384: Pull request #477 synchronize by danebidev
19s danebidev:main
danebidev:main
19s
Only bind mappings if they're not already used Tests #3140: Pull request #477 synchronize by danebidev
6m 0s danebidev:main
danebidev:main
6m 0s