Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,375 workflow runs
2,375 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
Merge branch 'infoview-fixes' (PR #474) GitHub Actions Security Analysis with zizmor 🌈 #535: Commit b7f5675 pushed by Julian
26s main
main
26s
Merge branch 'infoview-fixes' (PR #474) Tests #3310: Commit b7f5675 pushed by Julian
9m 26s main
main
9m 26s
Merge branch 'infoview-fixes' (PR #474) Regenerate Documentation #853: Commit b7f5675 pushed by Julian
1m 2s main
main
1m 2s
Replace mocked tooltip tests with a real integration test. Regenerate Documentation #852: Commit 7d0cf87 pushed by Julian
1m 1s infoview-fixes
infoview-fixes
1m 1s
Replace mocked tooltip tests with a real integration test. Tests #3309: Commit 7d0cf87 pushed by Julian
5m 57s infoview-fixes
infoview-fixes
5m 57s
Update the HTML demo fixture and actually distinguish sub/superscripts. GitHub Actions Security Analysis with zizmor 🌈 #534: Commit 3d2f8fd pushed by Julian
20s main
main
20s
Update the HTML demo fixture and actually distinguish sub/superscripts. Regenerate Documentation #851: Commit 3d2f8fd pushed by Julian
56s main
main
56s
Update the HTML demo fixture and actually distinguish sub/superscripts. Tests #3308: Commit 3d2f8fd pushed by Julian
6m 58s main
main
6m 58s
In infoview, avoid computing #element.text when it might be vim.NIL Tests #3307: Pull request #474 synchronize by scott7z
5m 52s scott7z:infoview-fixes
scott7z:infoview-fixes
5m 52s
In infoview, avoid computing #element.text when it might be vim.NIL GitHub Actions Security Analysis with zizmor 🌈 #533: Pull request #474 synchronize by scott7z
25s scott7z:infoview-fixes
scott7z:infoview-fixes
25s
Abbreviations Abbreviations #1024: Scheduled
8s main
main
8s
Style noise. GitHub Actions Security Analysis with zizmor 🌈 #532: Commit 34a5750 pushed by Julian
25s main
main
25s
Style noise. Tests #3306: Commit 34a5750 pushed by Julian
3m 51s main
main
3m 51s
Style noise. Regenerate Documentation #850: Commit 34a5750 pushed by Julian
58s main
main
58s
Remove goto from render_details for StyLua compatibility. Tests #3305: Commit 152656f pushed by Julian
7m 14s main
main
7m 14s
Remove goto from render_details for StyLua compatibility. GitHub Actions Security Analysis with zizmor 🌈 #531: Commit 152656f pushed by Julian
20s main
main
20s
Remove goto from render_details for StyLua compatibility. Regenerate Documentation #849: Commit 152656f pushed by Julian
1m 2s main
main
1m 2s
Abbreviations Abbreviations #1023: Scheduled
12s main
main
12s
Add more HTML support for additional tags and styles. Tests #3304: Commit f899352 pushed by Julian
6m 20s main
main
6m 20s
Add more HTML support for additional tags and styles. Regenerate Documentation #848: Commit f899352 pushed by Julian
53s main
main
53s
Add more HTML support for additional tags and styles. GitHub Actions Security Analysis with zizmor 🌈 #530: Commit f899352 pushed by Julian
23s main
main
23s
Strengthen guard in mk_tooltip Tests #3303: Pull request #506 opened by justus-springer
7m 24s justus-springer:justus/fix_no_docstring_hover_crash
justus-springer:justus/fix_no_docstring_hover_crash
7m 24s
Strengthen guard in mk_tooltip GitHub Actions Security Analysis with zizmor 🌈 #529: Pull request #506 opened by justus-springer
25s justus-springer:justus/fix_no_docstring_hover_crash
justus-springer:justus/fix_no_docstring_hover_crash
25s
In infoview, avoid computing #element.text when it might be vim.NIL GitHub Actions Security Analysis with zizmor 🌈 #528: Pull request #474 synchronize by scott7z
25s scott7z:infoview-fixes
scott7z:infoview-fixes
25s
In infoview, avoid computing #element.text when it might be vim.NIL Tests #3302: Pull request #474 synchronize by scott7z
7m 40s scott7z:infoview-fixes
scott7z:infoview-fixes
7m 40s