Skip to content

Actions: Julian/lean.nvim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,386 workflow runs
2,386 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
Add the rest of the ProofWidget widgets. GitHub Actions Security Analysis with zizmor 🌈 #516: Commit 3707fef pushed by Julian
17s main
main
17s
Add the rest of the ProofWidget widgets. Regenerate Documentation #837: Commit 3707fef pushed by Julian
59s main
main
59s
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 Regenerate Documentation #836: Commit d2e0bee pushed by Julian
55s main
main
55s
Move and remove more in the README Tests #3287: Commit d2e0bee pushed by Julian
5m 47s main
main
5m 47s
Move and remove more in the README GitHub Actions Security Analysis with zizmor 🌈 #515: Commit d2e0bee pushed by Julian
24s main
main
24s
Style noise. Regenerate Documentation #835: Commit 2887d3a pushed by Julian
1m 2s main
main
1m 2s
Style noise. GitHub Actions Security Analysis with zizmor 🌈 #514: Commit 2887d3a pushed by Julian
20s main
main
20s
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 #501 from Julian/dependabot/github_actions/actions… Regenerate Documentation #834: Commit 22476c2 pushed by Julian
54s main
main
54s
Merge pull request #501 from Julian/dependabot/github_actions/actions… GitHub Actions Security Analysis with zizmor 🌈 #513: Commit 22476c2 pushed by Julian
24s main
main
24s
Merge pull request #502 from Julian/dependabot/github_actions/actions… Regenerate Documentation #833: Commit 478467e pushed by Julian
56s main
main
56s
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 #502 from Julian/dependabot/github_actions/actions… GitHub Actions Security Analysis with zizmor 🌈 #512: Commit 478467e pushed by Julian
19s main
main
19s
Merge pull request #500 from Julian/dependabot/github_actions/zizmorc… Tests #3283: Commit fd69291 pushed by Julian
6m 24s main
main
6m 24s
Merge pull request #500 from Julian/dependabot/github_actions/zizmorc… GitHub Actions Security Analysis with zizmor 🌈 #511: Commit fd69291 pushed by Julian
21s main
main
21s
Merge pull request #500 from Julian/dependabot/github_actions/zizmorc… Regenerate Documentation #832: Commit fd69291 pushed by Julian
55s main
main
55s
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 GitHub Actions Security Analysis with zizmor 🌈 #510: Pull request #502 opened by dependabot Bot
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
26s
Bump actions-rust-lang/setup-rust-toolchain from 1.15.4 to 1.16.0 Regenerate Documentation #831: Commit ead06a6 pushed by dependabot Bot
1m 2s dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.16.0
dependabot/github_actions/actions-rust-lang/setup-rust-toolchain-1.16.0
1m 2s
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 GitHub Actions Security Analysis with zizmor 🌈 #509: Pull request #501 opened by dependabot Bot
19s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
19s
Bump actions/upload-artifact from 7.0.0 to 7.0.1 Regenerate Documentation #830: Commit 15cabdf pushed by dependabot Bot
52s dependabot/github_actions/actions/upload-artifact-7.0.1
dependabot/github_actions/actions/upload-artifact-7.0.1
52s