Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
In infoview, avoid computing #element.text when it might be vim.NIL Tests #3139: Pull request #474 synchronize by Julian
4m 45s scott7z:infoview-fixes
scott7z:infoview-fixes
4m 45s
In infoview, avoid computing #element.text when it might be vim.NIL GitHub Actions Security Analysis with zizmor 🌈 #383: Pull request #474 synchronize by Julian
31s scott7z:infoview-fixes
scott7z:infoview-fixes
31s
Only bind mappings if they're not already used GitHub Actions Security Analysis with zizmor 🌈 #382: Pull request #477 synchronize by Julian
24s danebidev:main
danebidev:main
24s
Only bind mappings if they're not already used Tests #3138: Pull request #477 synchronize by Julian
5m 15s danebidev:main
danebidev:main
5m 15s
Update unfold? for leanprover-community/mathlib4#34925 GitHub Actions Security Analysis with zizmor 🌈 #381: Commit 95c55fe pushed by Julian
21s main
main
21s
Update unfold? for leanprover-community/mathlib4#34925 Regenerate Documentation #733: Commit 95c55fe pushed by Julian
58s main
main
58s
Update unfold? for leanprover-community/mathlib4#34925 Tests #3137: Commit 95c55fe pushed by Julian
4m 10s main
main
4m 10s