Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,391 workflow runs
2,391 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
github_actions in /. - Update #1346628025 Dependabot Updates #87: by dependabot Bot
48s main
main
48s
Abbreviations Abbreviations #1034: Scheduled
8s main
main
8s
Merge pull request #508 from Julian/pre-commit-ci-update-config GitHub Actions Security Analysis with zizmor 🌈 #550: Commit 75b7822 pushed by Julian
16s main
main
16s
Merge pull request #508 from Julian/pre-commit-ci-update-config Regenerate Documentation #868: Commit 75b7822 pushed by Julian
58s main
main
58s
Merge pull request #508 from Julian/pre-commit-ci-update-config Tests #3327: Commit 75b7822 pushed by Julian
7m 5s main
main
7m 5s
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
Bump the log spec's vim.wait timeout to give scheduled callbacks a ch… Tests #3326: Commit 214d9ad pushed by Julian
7m 37s main
main
7m 37s
Bump the log spec's vim.wait timeout to give scheduled callbacks a ch… GitHub Actions Security Analysis with zizmor 🌈 #549: Commit 214d9ad pushed by Julian
20s main
main
20s
Update to not import a deprecated ImportGraph module in tests. Regenerate Documentation #866: Commit 3362765 pushed by Julian
53s main
main
53s
Update to not import a deprecated ImportGraph module in tests. Tests #3325: Commit 3362765 pushed by Julian
8m 12s main
main
8m 12s
Update to not import a deprecated ImportGraph module in tests. GitHub Actions Security Analysis with zizmor 🌈 #548: Commit 3362765 pushed by Julian
18s main
main
18s
Deprecate the infoview.mappings configuration option. Regenerate Documentation #865: Commit 892006e pushed by Julian
59s main
main
59s
Deprecate the infoview.mappings configuration option. GitHub Actions Security Analysis with zizmor 🌈 #547: Commit 892006e pushed by Julian
23s main
main
23s
Deprecate the infoview.mappings configuration option. Tests #3324: Commit 892006e pushed by Julian
9m 8s main
main
9m 8s
Abbreviations Abbreviations #1033: Scheduled
8s main
main
8s
Bump the Lean versions in CI. GitHub Actions Security Analysis with zizmor 🌈 #546: Commit e979471 pushed by Julian
19s main
main
19s
Bump the Lean versions in CI. Tests #3323: Commit e979471 pushed by Julian
5m 33s main
main
5m 33s
Bump the Lean versions in CI. Regenerate Documentation #864: Commit e979471 pushed by Julian
57s main
main
57s
Abbreviations Abbreviations #1032: Scheduled
11s main
main
11s
Abbreviations Abbreviations #1031: Scheduled
14s main
main
14s
Abbreviations Abbreviations #1030: Scheduled
11s main
main
11s
Abbreviations Abbreviations #1029: Scheduled
10s main
main
10s
Abbreviations Abbreviations #1028: Scheduled
7s main
main
7s
Merge pull request #507 from Julian/dependabot/github_actions/actions… GitHub Actions Security Analysis with zizmor 🌈 #545: Commit 999fab4 pushed by Julian
18s main
main
18s
Merge pull request #507 from Julian/dependabot/github_actions/actions… Regenerate Documentation #863: Commit 999fab4 pushed by Julian
57s main
main
57s