Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,139 workflow runs
2,139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Abbreviations
Abbreviations #934: Scheduled
9s main
Abbreviations
Abbreviations #933: Scheduled
13s main
Abbreviations
Abbreviations #932: Scheduled
10s main
Abbreviations
Abbreviations #931: Scheduled
11s main
Add a test for code actions.
Regenerate Documentation #722: Commit 68ad9a0 pushed by Julian
57s main
Add a test for code actions.
GitHub Actions Security Analysis with zizmor 🌈 #361: Commit 68ad9a0 pushed by Julian
18s main
Abbreviations
Abbreviations #930: Scheduled
7s main
Merge pull request #473 from Julian/pre-commit-ci-update-config
GitHub Actions Security Analysis with zizmor 🌈 #360: Commit f40b479 pushed by Julian
19s main
[pre-commit.ci] pre-commit autoupdate
GitHub Actions Security Analysis with zizmor 🌈 #359: Pull request #473 opened by pre-commit-ci bot
Merge pull request #472 from Julian/dependabot/github_actions/astral-…
GitHub Actions Security Analysis with zizmor 🌈 #358: Commit 9aaf6a4 pushed by Julian
22s main
Correct the root directory when editing files in .lake/packages
GitHub Actions Security Analysis with zizmor 🌈 #357: Commit 1bdf0b2 pushed by Julian
20s main