Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,844 workflow runs
1,844 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
Try one more time to prevent #526. Regenerate Documentation #936: Commit 5a2c1df pushed by Julian
55s main
main
55s
Try one more time to prevent #526. Tests #3428: Commit 5a2c1df pushed by Julian
8m 26s main
main
8m 26s
Try one more time to prevent #526. GitHub Actions Security Analysis with zizmor 🌈 #632: Commit 5a2c1df pushed by Julian
24s main
main
24s
Make LeanInfoviewToggle have :quit semantics when it's the last window. Tests #3427: Commit 64939b0 pushed by Julian
8m 5s main
main
8m 5s
Make LeanInfoviewToggle have :quit semantics when it's the last window. Regenerate Documentation #935: Commit 64939b0 pushed by Julian
59s main
main
59s
Make LeanInfoviewToggle have :quit semantics when it's the last window. GitHub Actions Security Analysis with zizmor 🌈 #631: Commit 64939b0 pushed by Julian
24s main
main
24s
Abbreviations Abbreviations #1159: Scheduled
11s main
main
11s
Abbreviations Abbreviations #1158: Scheduled
10s main
main
10s
Abbreviations Abbreviations #1157: Scheduled
13s main
main
13s
Merge pull request #545 from Julian/pre-commit-ci-update-config Regenerate Documentation #934: Commit 499ceb0 pushed by Julian
58s main
main
58s
Merge pull request #545 from Julian/pre-commit-ci-update-config Tests #3426: Commit 499ceb0 pushed by Julian
7m 53s main
main
7m 53s
Merge pull request #545 from Julian/pre-commit-ci-update-config GitHub Actions Security Analysis with zizmor 🌈 #630: Commit 499ceb0 pushed by Julian
23s main
main
23s
Abbreviations Abbreviations #1156: Scheduled
13s main
main
13s
Abbreviations Abbreviations #1155: Scheduled
8s main
main
8s
Abbreviations Abbreviations #1154: Scheduled
10s main
main
10s
[pre-commit.ci] pre-commit autoupdate Tests #3425: Pull request #545 opened by pre-commit-ci Bot
15m 0s pre-commit-ci-update-config
pre-commit-ci-update-config
15m 0s
[pre-commit.ci] pre-commit autoupdate GitHub Actions Security Analysis with zizmor 🌈 #629: Pull request #545 opened by pre-commit-ci Bot
20s pre-commit-ci-update-config
pre-commit-ci-update-config
20s
[pre-commit.ci] pre-commit autoupdate Tests #3424: Commit 5c9e130 pushed by pre-commit-ci Bot
8m 57s pre-commit-ci-update-config
pre-commit-ci-update-config
8m 57s
[pre-commit.ci] pre-commit autoupdate Regenerate Documentation #933: Commit 5c9e130 pushed by pre-commit-ci Bot
53s pre-commit-ci-update-config
pre-commit-ci-update-config
53s
Abbreviations Abbreviations #1153: Scheduled
11s main
main
11s
github_actions in /. - Update #1546600182 Dependabot Updates #104: by dependabot Bot
1m 4s main
main
1m 4s
Abbreviations Abbreviations #1152: Scheduled
10s main
main
10s
Abbreviations Abbreviations #1151: Scheduled
8s main
main
8s
Abbreviations Abbreviations #1150: Scheduled
8s main
main
8s
Abbreviations Abbreviations #1149: Scheduled
11s main
main
11s