Skip to content

Actions: Julian/lean.nvim

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
743 workflow runs
743 workflow runs

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
Reduce flicker when rendering animations. Tests #3301: Commit b7b330a pushed by Julian
6m 50s v2026.4.1
v2026.4.1
6m 50s
Reduce flicker when rendering animations. Tests #3300: Commit b7b330a pushed by Julian
5m 32s main
main
5m 32s
zizmor fix for caching. Tests #3299: Commit 7ce6b8c pushed by Julian
6m 41s main
main
6m 41s
Try again at getting resvg found. Tests #3298: Commit 75f2394 pushed by Julian
6m 3s main
main
6m 3s
Tags again begone. Tests #3297: Commit 6afddbe pushed by Julian
8m 31s main
main
8m 31s
Pedantic zizmor. Tests #3296: Commit efec57e pushed by Julian
6m 4s main
main
6m 4s
Merge pull request #503 from Julian/pre-commit-ci-update-config Tests #3295: Commit f1308f2 pushed by Julian
5m 51s main
main
5m 51s
In infoview, avoid computing #element.text when it might be vim.NIL Tests #3294: Pull request #474 synchronize by scott7z
4m 59s scott7z:infoview-fixes
scott7z:infoview-fixes
4m 59s
[pre-commit.ci] pre-commit autoupdate Tests #3293: Pull request #503 opened by pre-commit-ci Bot
6m 40s pre-commit-ci-update-config
pre-commit-ci-update-config
6m 40s
[pre-commit.ci] pre-commit autoupdate Tests #3292: Commit 545589e pushed by pre-commit-ci Bot
5m 53s pre-commit-ci-update-config
pre-commit-ci-update-config
5m 53s
@#@%&*@ lake Tests #3291: Commit 7f56f90 pushed by Julian
5m 49s main
main
5m 49s
Add a demo for pins. Tests #3290: Commit 6921f06 pushed by Julian
6m 52s main
main
6m 52s
Sigh, build the modules in CI. Tests #3289: Commit 376d9fe pushed by Julian
5m 55s main
main
5m 55s
Add the rest of the ProofWidget widgets. Tests #3288: Commit 3707fef pushed by Julian
18m 15s main
main
18m 15s
Move and remove more in the README Tests #3287: Commit d2e0bee pushed by Julian
5m 47s main
main
5m 47s
Style noise. Tests #3286: Commit 2887d3a pushed by Julian
6m 0s main
main
6m 0s
Merge pull request #501 from Julian/dependabot/github_actions/actions… Tests #3285: Commit 22476c2 pushed by Julian
11m 20s main
main
11m 20s
Merge pull request #502 from Julian/dependabot/github_actions/actions… Tests #3284: Commit 478467e pushed by Julian
9m 31s main
main
9m 31s
Merge pull request #500 from Julian/dependabot/github_actions/zizmorc… Tests #3283: Commit fd69291 pushed by Julian
6m 24s main
main
6m 24s
Bump actions-rust-lang/setup-rust-toolchain from 1.15.4 to 1.16.0 Tests #3282: Pull request #502 opened by dependabot Bot
18m 26s dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.16.0
dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.16.0
18m 26s
Bump actions-rust-lang/setup-rust-toolchain from 1.15.4 to 1.16.0 Tests #3281: Commit ead06a6 pushed by dependabot Bot
18m 17s dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.16.0
dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.16.0
18m 17s
Bump actions/upload-artifact from 7.0.0 to 7.0.1 Tests #3280: Pull request #501 opened by dependabot Bot
15m 24s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
15m 24s
Bump actions/upload-artifact from 7.0.0 to 7.0.1 Tests #3279: Commit 15cabdf pushed by dependabot Bot
11m 41s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
11m 41s
Bump zizmorcore/zizmor-action from 0.5.2 to 0.5.3 Tests #3278: Pull request #500 opened by dependabot Bot
9m 36s dependabot/github_actions/zizmorcore/zizmor-action-0.5.3
dependabot/github_actions/zizmorcore/zizmor-action-0.5.3
9m 36s
Bump zizmorcore/zizmor-action from 0.5.2 to 0.5.3 Tests #3277: Commit b9990b2 pushed by dependabot Bot
6m 19s dependabot/github_actions/zizmorcore/zizmor-action-0.5.3
dependabot/github_actions/zizmorcore/zizmor-action-0.5.3
6m 19s