Skip to content

Actions: MohammedAlkindi/proofx

Actions

Lean

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
68 workflow runs
68 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
chore(deps-dev): bump ruff from 0.16.1 to 0.16.5 Lean #68: Commit 9b03181 pushed by MohammedAlkindi
43s main
main
43s
chore(deps): bump plotly from 6.9.0 to 7.0.0 (#41) Lean #67: Commit a294159 pushed by MohammedAlkindi
44s main
main
44s
chore(deps): bump scipy from 1.18.0 to 1.18.1 (#40) Lean #66: Commit ee6df34 pushed by MohammedAlkindi
41s main
main
41s
chore(deps): bump statsmodels from 0.14.6 to 0.15.0 (#38) Lean #65: Commit 8127b0e pushed by MohammedAlkindi
47s main
main
47s
chore(deps-dev): bump mypy from 2.3.0 to 2.3.1 (#37) Lean #64: Commit 6df3933 pushed by MohammedAlkindi
37s main
main
37s
chore(deps): bump numba from 0.66.0 to 0.67.0 (#35) Lean #63: Commit ee94077 pushed by MohammedAlkindi
32s main
main
32s
chore(deps): bump actions/setup-node from 4 to 7 (#27) Lean #62: Commit 94bf9df pushed by MohammedAlkindi
42s main
main
42s
chore(deps): bump plotly from 6.9.0 to 7.0.0 Lean #61: Pull request #41 opened by dependabot Bot
39s dependabot/pip/plotly-7.0.0
dependabot/pip/plotly-7.0.0
39s
chore(deps): bump scipy from 1.18.0 to 1.18.1 Lean #60: Pull request #40 opened by dependabot Bot
41s dependabot/pip/scipy-1.18.1
dependabot/pip/scipy-1.18.1
41s
chore(deps-dev): bump ruff from 0.16.1 to 0.16.5 Lean #59: Pull request #39 opened by dependabot Bot
35s dependabot/pip/ruff-0.16.5
dependabot/pip/ruff-0.16.5
35s
chore(deps): bump statsmodels from 0.14.6 to 0.15.0 Lean #58: Pull request #38 opened by dependabot Bot
44s dependabot/pip/statsmodels-0.15.0
dependabot/pip/statsmodels-0.15.0
44s
chore(deps-dev): bump mypy from 2.3.0 to 2.3.1 Lean #57: Pull request #37 opened by dependabot Bot
23s dependabot/pip/mypy-2.3.1
dependabot/pip/mypy-2.3.1
23s
chore(deps-dev): bump ruff from 0.16.1 to 0.16.4 Lean #56: Pull request #36 opened by dependabot Bot
30s dependabot/pip/ruff-0.16.4
dependabot/pip/ruff-0.16.4
30s
chore(deps): bump numba from 0.66.0 to 0.67.0 Lean #55: Pull request #35 opened by dependabot Bot
24s dependabot/pip/numba-0.67.0
dependabot/pip/numba-0.67.0
24s
chore(deps-dev): bump ruff from 0.16.1 to 0.16.3 Lean #54: Pull request #34 opened by dependabot Bot
23s dependabot/pip/ruff-0.16.3
dependabot/pip/ruff-0.16.3
23s
docs(research-logs): mark artifact-free scale claims as unverified Lean #53: Commit 4291544 pushed by MohammedAlkindi
29s main
main
29s
chore(deps): bump actions/setup-python from 6 to 7 (#28) Lean #52: Commit 5a1c39c pushed by MohammedAlkindi
24s main
main
24s
chore(deps): bump pandas from 3.0.3 to 3.0.5 (#29) Lean #51: Commit 55058b6 pushed by MohammedAlkindi
22s main
main
22s
chore(deps): bump tqdm from 4.69.0 to 4.70.0 (#33) Lean #50: Commit 3f6727c pushed by MohammedAlkindi
21s main
main
21s
docs: replace the static test badge with live workflow status Lean #49: Commit e364500 pushed by MohammedAlkindi
27s main
main
27s
chore(deps-dev): bump ruff to 0.16.1 and reformat for its markdown fo… Lean #48: Commit a81ed72 pushed by MohammedAlkindi
29s main
main
29s
chore(deps): bump tqdm from 4.69.0 to 4.70.0 Lean #47: Pull request #33 opened by dependabot Bot
30s dependabot/pip/tqdm-4.70.0
dependabot/pip/tqdm-4.70.0
30s
chore(deps-dev): bump ruff from 0.15.22 to 0.16.1 Lean #46: Pull request #32 opened by dependabot Bot
22s dependabot/pip/ruff-0.16.1
dependabot/pip/ruff-0.16.1
22s
chore(deps-dev): bump ruff from 0.15.22 to 0.16.0 Lean #45: Pull request #31 opened by dependabot Bot
26s dependabot/pip/ruff-0.16.0
dependabot/pip/ruff-0.16.0
26s
chore(deps): bump tqdm from 4.69.0 to 4.69.1 Lean #44: Pull request #30 opened by dependabot Bot
45s dependabot/pip/tqdm-4.69.1
dependabot/pip/tqdm-4.69.1
45s