Skip to content

Actions: Julian/lean.nvim

Actions

Regenerate Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
602 workflow runs
602 workflow runs

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 pull request #508 from Julian/pre-commit-ci-update-config Regenerate Documentation #868: Commit 75b7822 pushed by Julian
58s main
main
58s
Bump the log spec's vim.wait timeout to give scheduled callbacks a ch… Regenerate Documentation #867: Commit 214d9ad pushed by Julian
55s main
main
55s
Update to not import a deprecated ImportGraph module in tests. Regenerate Documentation #866: Commit 3362765 pushed by Julian
53s main
main
53s
Deprecate the infoview.mappings configuration option. Regenerate Documentation #865: Commit 892006e pushed by Julian
59s main
main
59s
Bump the Lean versions in CI. Regenerate Documentation #864: Commit e979471 pushed by Julian
57s main
main
57s
Merge pull request #507 from Julian/dependabot/github_actions/actions… Regenerate Documentation #863: Commit 999fab4 pushed by Julian
57s main
main
57s
Give block-level HTML elements CSS-like vertical margins. Regenerate Documentation #862: Commit 03ffd48 pushed by Julian
1m 4s main
main
1m 4s
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #861: Commit 04085fd pushed by pre-commit-ci Bot
57s pre-commit-ci-update-config
pre-commit-ci-update-config
57s
Bump actions/cache from 4.2.3 to 5.0.5 Regenerate Documentation #860: Commit 998ca25 pushed by dependabot Bot
55s dependabot/github_actions/actions/cache-5.0.5
dependabot/github_actions/actions/cache-5.0.5
55s
Remove the troublesome tui goto and reenable linting the file. Regenerate Documentation #859: Commit 25b2560 pushed by Julian
55s main
main
55s
Invalidate the goals cache when the RPC session changes. Regenerate Documentation #858: Commit 83ad73a pushed by Julian
55s main
main
55s
Add mouse support for click and select in the infoview. Regenerate Documentation #857: Commit dff87fa pushed by Julian
55s main
main
55s
Migrate demo popups to tui.Modal and Window.editor_float. Regenerate Documentation #856: Commit 684e856 pushed by Julian
54s main
main
54s
Dispatch infoview RPC calls concurrently. Regenerate Documentation #855: Commit 3aae124 pushed by Julian
53s main
main
53s
Fix <details> body rendering on same line as <summary>. Regenerate Documentation #854: Commit 0242db6 pushed by Julian
54s main
main
54s
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
Update the HTML demo fixture and actually distinguish sub/superscripts. Regenerate Documentation #851: Commit 3d2f8fd pushed by Julian
56s main
main
56s
Style noise. Regenerate Documentation #850: Commit 34a5750 pushed by Julian
58s main
main
58s
Remove goto from render_details for StyLua compatibility. Regenerate Documentation #849: Commit 152656f pushed by Julian
1m 2s main
main
1m 2s
Add more HTML support for additional tags and styles. Regenerate Documentation #848: Commit f899352 pushed by Julian
53s main
main
53s
Reduce flicker when rendering animations. Regenerate Documentation #847: Commit b7b330a pushed by Julian
54s main
main
54s
zizmor fix for caching. Regenerate Documentation #846: Commit 7ce6b8c pushed by Julian
1m 1s main
main
1m 1s
Try again at getting resvg found. Regenerate Documentation #845: Commit 75f2394 pushed by Julian
54s main
main
54s
Tags again begone. Regenerate Documentation #844: Commit 6afddbe pushed by Julian
53s main
main
53s