Skip to content

Actions: Julian/lean.nvim

Actions

GitHub Actions Security Analysis with zizmor 🌈

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
zizmor.yml
289 workflow runs
289 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move a bunch of tests to helpers.search. GitHub Actions Security Analysis with zizmor 🌈 #293: Commit 6215ae0 pushed by Julian
39s main
main
39s
Minor README default fix. GitHub Actions Security Analysis with zizmor 🌈 #292: Commit 9384056 pushed by Julian
42s main
main
42s
Minor tweak to the helper implementation. GitHub Actions Security Analysis with zizmor 🌈 #291: Commit 23d0346 pushed by Julian
58s main
main
58s
README.md: fix syntax error in example lazy.nvim plugin installation GitHub Actions Security Analysis with zizmor 🌈 #290: Pull request #443 opened by cdunham
47s cdunham:patch-1
cdunham:patch-1
47s
Follow zizmor's suggestion on dependency cooldown. GitHub Actions Security Analysis with zizmor 🌈 #289: Commit 17e1f63 pushed by Julian
28s main
main
28s
Bump the Lean versions in CI. GitHub Actions Security Analysis with zizmor 🌈 #288: Commit 029c4fb pushed by Julian
36s main
main
36s
Add support for new interactive trythis widgets. GitHub Actions Security Analysis with zizmor 🌈 #287: Commit d45abe2 pushed by Julian
33s main
main
33s
Silence the lspconfig warning until we figure out how to fix it. GitHub Actions Security Analysis with zizmor 🌈 #286: Commit a97dbac pushed by Julian
50s main
main
50s
Merge pull request #440 from Julian/dependabot/github_actions/softpro… GitHub Actions Security Analysis with zizmor 🌈 #285: Commit d28a419 pushed by Julian
40s main
main
40s
Merge pull request #438 from Julian/dependabot/github_actions/github/… GitHub Actions Security Analysis with zizmor 🌈 #284: Commit a8bb2bb pushed by Julian
39s main
main
39s
Merge pull request #436 from Julian/dependabot/github_actions/stefanz… GitHub Actions Security Analysis with zizmor 🌈 #283: Commit 6f86290 pushed by Julian
40s main
main
40s
Merge pull request #437 from Julian/dependabot/github_actions/astral-… GitHub Actions Security Analysis with zizmor 🌈 #282: Commit 0e01f06 pushed by Julian
50s main
main
50s
Merge pull request #439 from Julian/dependabot/github_actions/rhysd/a… GitHub Actions Security Analysis with zizmor 🌈 #281: Commit 7d1db60 pushed by Julian
37s main
main
37s
Bump softprops/action-gh-release from 2.3.4 to 2.4.1 GitHub Actions Security Analysis with zizmor 🌈 #280: Pull request #440 opened by dependabot bot
30s dependabot/github_actions/softprops/action-gh-release-2.4.1
dependabot/github_actions/softprops/action-gh-release-2.4.1
30s
Bump rhysd/action-setup-vim from 1.4.3 to 1.4.5 GitHub Actions Security Analysis with zizmor 🌈 #279: Pull request #439 opened by dependabot bot
34s dependabot/github_actions/rhysd/action-setup-vim-1.4.5
dependabot/github_actions/rhysd/action-setup-vim-1.4.5
34s
Bump github/codeql-action from 3 to 4 GitHub Actions Security Analysis with zizmor 🌈 #278: Pull request #438 opened by dependabot bot
26s dependabot/github_actions/github/codeql-action-4
dependabot/github_actions/github/codeql-action-4
26s
Bump astral-sh/setup-uv from 6.8.0 to 7.1.0 GitHub Actions Security Analysis with zizmor 🌈 #277: Pull request #437 opened by dependabot bot
39s dependabot/github_actions/astral-sh/setup-uv-7.1.0
dependabot/github_actions/astral-sh/setup-uv-7.1.0
39s
Bump stefanzweifel/git-auto-commit-action from 6.0.1 to 7.0.0 GitHub Actions Security Analysis with zizmor 🌈 #276: Pull request #436 opened by dependabot bot
28s dependabot/github_actions/stefanzweifel/git-auto-commit-action-7.0.0
dependabot/github_actions/stefanzweifel/git-auto-commit-action-7.0.0
28s
Merge pull request #435 from Julian/dependabot/github_actions/softpro… GitHub Actions Security Analysis with zizmor 🌈 #275: Commit 91aa0dc pushed by Julian
33s main
main
33s
Merge pull request #434 from Julian/dependabot/github_actions/actions… GitHub Actions Security Analysis with zizmor 🌈 #274: Commit 57e2038 pushed by Julian
38s main
main
38s
Merge pull request #433 from Julian/dependabot/github_actions/astral-… GitHub Actions Security Analysis with zizmor 🌈 #273: Commit 85413eb pushed by Julian
30s main
main
30s
Add config for goals accomplished and no goals GitHub Actions Security Analysis with zizmor 🌈 #272: Pull request #394 synchronize by stephen-huan
26s stephen-huan:config-title
stephen-huan:config-title
26s
Bump softprops/action-gh-release from 2.3.3 to 2.3.4 GitHub Actions Security Analysis with zizmor 🌈 #271: Pull request #435 opened by dependabot bot
31s dependabot/github_actions/softprops/action-gh-release-2.3.4
dependabot/github_actions/softprops/action-gh-release-2.3.4
31s
Bump actions-rust-lang/setup-rust-toolchain from 1.15.1 to 1.15.2 GitHub Actions Security Analysis with zizmor 🌈 #270: Pull request #434 opened by dependabot bot
27s dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.15.2
dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.15.2
27s
Bump astral-sh/setup-uv from 6.7.0 to 6.8.0 GitHub Actions Security Analysis with zizmor 🌈 #269: Pull request #433 opened by dependabot bot
29s dependabot/github_actions/astral-sh/setup-uv-6.8.0
dependabot/github_actions/astral-sh/setup-uv-6.8.0
29s