Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,287 workflow runs
2,287 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
Abbreviations Abbreviations #1020: Scheduled
8s main
main
8s
Add support for ProofWidgets.RefreshComponent Regenerate Documentation #828: Commit 821b6d1 pushed by Julian
56s main
main
56s
Add support for ProofWidgets.RefreshComponent GitHub Actions Security Analysis with zizmor 🌈 #506: Commit 821b6d1 pushed by Julian
20s main
main
20s
Add support for ProofWidgets.RefreshComponent Tests #3275: Commit 821b6d1 pushed by Julian
5m 27s main
main
5m 27s
Add a demo for hovers. Regenerate Documentation #827: Commit be5eea9 pushed by Julian
53s main
main
53s
Add a demo for hovers. Tests #3274: Commit be5eea9 pushed by Julian
7m 17s main
main
7m 17s
Add a demo for hovers. GitHub Actions Security Analysis with zizmor 🌈 #505: Commit be5eea9 pushed by Julian
17s main
main
17s
Try a global timeout increase in CI instead. GitHub Actions Security Analysis with zizmor 🌈 #504: Commit de9d4f5 pushed by Julian
16s main
main
16s
Try a global timeout increase in CI instead. Tests #3273: Commit de9d4f5 pushed by Julian
7m 48s main
main
7m 48s
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
Merge pull request #499 from PatrickMassot/pm_vimpack GitHub Actions Security Analysis with zizmor 🌈 #503: Commit be18b6e pushed by Julian
16s main
main
16s
Merge pull request #499 from PatrickMassot/pm_vimpack Tests #3272: Commit be18b6e pushed by Julian
6m 39s main
main
6m 39s
doc: Mention vim.pack in README GitHub Actions Security Analysis with zizmor 🌈 #502: Pull request #499 opened by PatrickMassot
17s PatrickMassot:pm_vimpack
PatrickMassot:pm_vimpack
17s
doc: Mention vim.pack in README Tests #3271: Pull request #499 opened by PatrickMassot
6m 24s PatrickMassot:pm_vimpack
PatrickMassot:pm_vimpack
6m 24s
Add interactive hover popups with clickable subexpressions. Tests #3270: Commit 6cf27b0 pushed by Julian
6m 30s main
main
6m 30s
Add interactive hover popups with clickable subexpressions. GitHub Actions Security Analysis with zizmor 🌈 #501: Commit 6cf27b0 pushed by Julian
17s main
main
17s
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
Let's see if pre-commit.ci has caught up on Rust version. GitHub Actions Security Analysis with zizmor 🌈 #500: Commit d1cf48c pushed by Julian
17s main
main
17s
Let's see if pre-commit.ci has caught up on Rust version. Tests #3269: Commit d1cf48c pushed by Julian
4m 33s main
main
4m 33s
Abbreviations Abbreviations #1019: Scheduled
9s main
main
9s
In infoview, avoid computing #element.text when it might be vim.NIL Tests #3268: Pull request #474 synchronize by scott7z
5m 32s scott7z:infoview-fixes
scott7z:infoview-fixes
5m 32s
In infoview, avoid computing #element.text when it might be vim.NIL GitHub Actions Security Analysis with zizmor 🌈 #499: Pull request #474 synchronize by scott7z
25s scott7z:infoview-fixes
scott7z:infoview-fixes
25s
Try yet again to fix the import/build bug without introducing flakiness. Regenerate Documentation #822: Commit 1be79c2 pushed by Julian
56s main
main
56s