Skip to content

Actions: Julian/lean.nvim

Actions

Regenerate Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
384 workflow runs
384 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
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #904: Commit f2940ba pushed by pre-commit-ci Bot
52s pre-commit-ci-update-config
pre-commit-ci-update-config
52s
Track lsp death more explicitly. Regenerate Documentation #903: Commit f5771e0 pushed by Julian
1m 0s main
main
1m 0s
Bump actions-rust-lang/setup-rust-toolchain from 1.16.1 to 1.17.0 Regenerate Documentation #902: Commit e89daee pushed by dependabot Bot
54s dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.17.0
dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.17.0
54s
Bump actions/cache from 5.0.5 to 6.1.0 Regenerate Documentation #901: Commit 3f90145 pushed by dependabot Bot
59s dependabot/github_actions/actions/cache-6.1.0
dependabot/github_actions/actions/cache-6.1.0
59s
Inaccessible names can have characters following the dagger. Regenerate Documentation #900: Commit 0f15c34 pushed by Julian
56s main
main
56s
Bump the Lean versions in CI. Regenerate Documentation #899: Commit b216e5c pushed by Julian
55s main
main
55s
Bump zizmorcore/zizmor-action from 0.5.6 to 0.5.7 Regenerate Documentation #898: Commit d883931 pushed by dependabot Bot
58s dependabot/github_actions/zizmorcore/zizmor-action-0.5.7
dependabot/github_actions/zizmorcore/zizmor-action-0.5.7
58s
Bump actions/checkout from 6.0.3 to 7.0.0 Regenerate Documentation #897: Commit 210b1f2 pushed by dependabot Bot
55s dependabot/github_actions/actions/checkout-7.0.0
dependabot/github_actions/actions/checkout-7.0.0
55s
Merge pull request #523 from Julian/dependabot/github_actions/actions… Regenerate Documentation #896: Commit 32fb8aa pushed by Julian
59s main
main
59s
Merge pull request #525 from Julian/pre-commit-ci-update-config Regenerate Documentation #895: Commit 4324de0 pushed by Julian
54s main
main
54s
[pre-commit.ci] auto fixes from pre-commit.com hooks Regenerate Documentation #894: Commit 5fed018 pushed by pre-commit-ci Bot
1m 14s pre-commit-ci-update-config
pre-commit-ci-update-config
1m 14s
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #893: Commit 77a113c pushed by pre-commit-ci Bot
35s pre-commit-ci-update-config
pre-commit-ci-update-config
35s
Treat an empty <a href> as no link. Regenerate Documentation #892: Commit b2a473c pushed by Julian
1m 4s main
main
1m 4s
Bump actions/checkout from 6.0.2 to 6.0.3 Regenerate Documentation #891: Commit 64f5e2d pushed by dependabot Bot
1m 0s dependabot/github_actions/actions/checkout-6.0.3
dependabot/github_actions/actions/checkout-6.0.3
1m 0s
Render real icons in Lean's textInsertionWidget hints. Regenerate Documentation #890: Commit fde0d56 pushed by Julian
53s main
main
53s
Fix splitting terms with inner colons in our interactive hovers. Regenerate Documentation #889: Commit 0773e20 pushed by Julian
1m 2s main
main
1m 2s
Merge pull request #522 from frangio/commentstring Regenerate Documentation #888: Commit bcb08ba pushed by Julian
56s main
main
56s
Update pre-commit hooks. Regenerate Documentation #887: Commit d0f1572 pushed by Julian
1m 8s main
main
1m 8s
Drop git-auto-commit-action in favor of inline git commands. Regenerate Documentation #886: Commit dfd92d7 pushed by Julian
25s main
main
25s
Two fixes for nightly nvim. Regenerate Documentation #885: Commit 57fccc5 pushed by Julian
58s main
main
58s
Show proper line breaks between FilterDetails elements. Regenerate Documentation #884: Commit 87ecf61 pushed by Julian
1m 1s main
main
1m 1s
Make RefreshComponent less twitchy via cancellation. Regenerate Documentation #883: Commit fa0d3ba pushed by Julian
55s main
main
55s
Fill in the rest of the FilterDetails implementation. Regenerate Documentation #882: Commit bf040dc pushed by Julian
55s main
main
55s
Merge pull request #515 from Julian/dependabot/github_actions/actions… Regenerate Documentation #881: Commit 647a785 pushed by Julian
1m 20s main
main
1m 20s
Merge pull request #520 from Julian/dependabot/github_actions/zizmorc… Regenerate Documentation #880: Commit bcbe3ff pushed by Julian
47s main
main
47s