Skip to content

Actions: Julian/lean.nvim

Actions

Regenerate Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
586 workflow runs
586 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
Move and remove more in the README Regenerate Documentation #836: Commit d2e0bee pushed by Julian
55s main
main
55s
Style noise. Regenerate Documentation #835: Commit 2887d3a pushed by Julian
1m 2s main
main
1m 2s
Merge pull request #501 from Julian/dependabot/github_actions/actions… Regenerate Documentation #834: Commit 22476c2 pushed by Julian
54s main
main
54s
Merge pull request #502 from Julian/dependabot/github_actions/actions… Regenerate Documentation #833: Commit 478467e pushed by Julian
56s main
main
56s
Merge pull request #500 from Julian/dependabot/github_actions/zizmorc… Regenerate Documentation #832: Commit fd69291 pushed by Julian
55s main
main
55s
Bump actions-rust-lang/setup-rust-toolchain from 1.15.4 to 1.16.0 Regenerate Documentation #831: Commit ead06a6 pushed by dependabot bot
1m 2s dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.16.0
dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.16.0
1m 2s
Bump actions/upload-artifact from 7.0.0 to 7.0.1 Regenerate Documentation #830: Commit 15cabdf pushed by dependabot bot
52s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
52s
Bump zizmorcore/zizmor-action from 0.5.2 to 0.5.3 Regenerate Documentation #829: Commit b9990b2 pushed by dependabot bot
1m 1s dependabot/github_actions/zizmorcore/zizmor-action-0.5.3
dependabot/github_actions/zizmorcore/zizmor-action-0.5.3
1m 1s
Add support for ProofWidgets.RefreshComponent Regenerate Documentation #828: Commit 821b6d1 pushed by Julian
56s main
main
56s
Add a demo for hovers. Regenerate Documentation #827: Commit be5eea9 pushed by Julian
53s main
main
53s
Try a global timeout increase in CI instead. Regenerate Documentation #826: Commit de9d4f5 pushed by Julian
1m 2s main
main
1m 2s
Merge pull request #499 from PatrickMassot/pm_vimpack Regenerate Documentation #825: Commit be18b6e pushed by Julian
53s main
main
53s
Add interactive hover popups with clickable subexpressions. Regenerate Documentation #824: Commit 6cf27b0 pushed by Julian
53s main
main
53s
Let's see if pre-commit.ci has caught up on Rust version. Regenerate Documentation #823: Commit d1cf48c pushed by Julian
54s main
main
54s
Try yet again to fix the import/build bug without introducing flakiness. Regenerate Documentation #822: Commit 1be79c2 pushed by Julian
56s main
main
56s
Yet again fix us not showing progress during lake build / import issues. Regenerate Documentation #821: Commit 69834cb pushed by Julian
59s main
main
59s
Bump the Lean version in CI. Regenerate Documentation #820: Commit 8b39931 pushed by Julian
54s main
main
54s
Style noise. Regenerate Documentation #819: Commit cb21a62 pushed by Julian
54s main
main
54s
Again try making a few tests less flaky... Regenerate Documentation #818: Commit f2fe2cf pushed by Julian
1m 0s main
main
1m 0s
Give each Pin its own buffer, renderer, and window. Regenerate Documentation #817: Commit 808f001 pushed by Julian
1m 2s main
main
1m 2s
Move a few stateful things from Info to Infoview. Regenerate Documentation #816: Commit d6ce792 pushed by Julian
59s main
main
59s
Merge pull request #498 from Julian/pre-commit-ci-update-config Regenerate Documentation #815: Commit e23e902 pushed by Julian
52s main
main
52s
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #814: Commit 8f0cdbe pushed by pre-commit-ci bot
48s pre-commit-ci-update-config
pre-commit-ci-update-config
48s
Add an API for retrieving infoview contents at a given position. Regenerate Documentation #813: Commit a68bf85 pushed by Julian
53s main
main
53s
Fold in another section in the README. Regenerate Documentation #812: Commit 7395e58 pushed by Julian
54s main
main
54s