Skip to content

Actions: MohammedAlkindi/proofx

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
159 workflow runs
159 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
chore(deps-dev): bump mypy from 2.3.0 to 2.3.1 CI #59: Pull request #37 opened by dependabot Bot
2m 20s dependabot/pip/mypy-2.3.1
dependabot/pip/mypy-2.3.1
2m 20s
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 CI #58: Pull request #36 opened by dependabot Bot
2m 31s dependabot/pip/ruff-0.16.4
dependabot/pip/ruff-0.16.4
2m 31s
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
pip in /. - Update #1536997948 Dependabot Updates #25: by dependabot Bot
1m 11s main
main
1m 11s
github_actions in /. - Update #1536997968 Dependabot Updates #24: by dependabot Bot
46s main
main
46s
chore(deps): bump numba from 0.66.0 to 0.67.0 CI #57: Pull request #35 opened by dependabot Bot
2m 20s dependabot/pip/numba-0.67.0
dependabot/pip/numba-0.67.0
2m 20s
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 CI #56: Pull request #34 opened by dependabot Bot
2m 26s dependabot/pip/ruff-0.16.3
dependabot/pip/ruff-0.16.3
2m 26s
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
pip in /. - Update #1527188336 Dependabot Updates #23: by dependabot Bot
1m 9s main
main
1m 9s
github_actions in /. - Update #1527188353 Dependabot Updates #22: by dependabot Bot
43s main
main
43s
docs(research-logs): mark artifact-free scale claims as unverified CI #55: Commit 4291544 pushed by MohammedAlkindi
2m 14s main
main
2m 14s
docs(research-logs): mark artifact-free scale claims as unverified Lean #53: Commit 4291544 pushed by MohammedAlkindi
29s main
main
29s
Graph Update: pip in /packages/germinal #1517270790 Dependency Graph #2: by dependabot Bot
1m 3s main
main
1m 3s
Graph Update: uv in /. #1517270794 Dependency Graph #1: by dependabot Bot
44s main
main
44s
chore(deps): bump actions/setup-python from 6 to 7 (#28) CI #54: Commit 5a1c39c pushed by MohammedAlkindi
2m 38s main
main
2m 38s
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) CI #53: Commit 55058b6 pushed by MohammedAlkindi
2m 30s main
main
2m 30s
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
chore(deps): bump tqdm from 4.69.0 to 4.70.0 (#33) CI #52: Commit 3f6727c pushed by MohammedAlkindi
2m 31s main
main
2m 31s
github_actions in /. - Update #1515554353 Dependabot Updates #21: by dependabot Bot
59s main
main
59s
pip in /. - Update #1515554356 Dependabot Updates #20: by dependabot Bot
57s main
main
57s
docs: replace the static test badge with live workflow status Lean #49: Commit e364500 pushed by MohammedAlkindi
27s main
main
27s