Skip to content

Actions: TomasOrtega/CapacityAtlas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 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
Merge pull request #49 from TomasOrtega/chore/dependabot-bumps Site, Lean, and Pages #165: Commit dbcfebd pushed by TomasOrtega
10m 2s main
main
10m 2s
build(deps): aggregate Dependabot updates Site, Lean, and Pages #164: Pull request #49 opened by TomasOrtega
11m 59s chore/dependabot-bumps
chore/dependabot-bumps
11m 59s
build(deps-dev): Bump ruff from 0.16.2 to 0.16.5 Site, Lean, and Pages #163: Pull request #48 opened by dependabot Bot
10m 5s dependabot/uv/ruff-0.16.5
dependabot/uv/ruff-0.16.5
10m 5s
build(deps-dev): Bump prek from 0.4.13 to 0.5.0 Site, Lean, and Pages #162: Pull request #47 opened by dependabot Bot
8m 36s dependabot/uv/prek-0.5.0
dependabot/uv/prek-0.5.0
8m 36s
build(deps): Bump actions/checkout from 6.1.0 to 7.0.1 Site, Lean, and Pages #161: Pull request #46 opened by dependabot Bot
8m 24s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
8m 24s
build(deps): Bump astral-sh/setup-uv from 9.0.0 to 10.0.1 Site, Lean, and Pages #160: Pull request #45 opened by dependabot Bot
7m 10s dependabot/github_actions/astral-sh/setup-uv-10.0.1
dependabot/github_actions/astral-sh/setup-uv-10.0.1
7m 10s
build(deps): Bump https://github.com/astral-sh/ruff-pre-commit from v0.16.2 to 0.16.5 Site, Lean, and Pages #159: Pull request #44 opened by dependabot Bot
11m 19s dependabot/pre_commit/https-/github.com/astral-sh/ruff-pre-commit-0.16.5
dependabot/pre_commit/https-/github.com/astral-sh/ruff-pre-commit-0.16.5
11m 19s
build(deps): Bump actions/deploy-pages from 4.0.5 to 5.0.0 Site, Lean, and Pages #158: Pull request #43 opened by dependabot Bot
10m 16s dependabot/github_actions/actions/deploy-pages-5.0.0
dependabot/github_actions/actions/deploy-pages-5.0.0
10m 16s
build(deps): Bump actions/upload-pages-artifact from 4.0.0 to 5.0.0 Site, Lean, and Pages #157: Pull request #42 opened by dependabot Bot
9m 50s dependabot/github_actions/actions/upload-pages-artifact-5.0.0
dependabot/github_actions/actions/upload-pages-artifact-5.0.0
9m 50s
build(deps): Bump leanprover/lean-action from 1.5.0 to 1.6.0 Site, Lean, and Pages #156: Pull request #41 opened by dependabot Bot
10m 35s dependabot/github_actions/leanprover/lean-action-1.6.0
dependabot/github_actions/leanprover/lean-action-1.6.0
10m 35s
uv in /. - Update #1550653787 Dependabot Updates #17: by dependabot Bot
1m 4s main
main
1m 4s
pre_commit in /. - Update #1550653776 Dependabot Updates #16: by dependabot Bot
37s main
main
37s
github_actions in /. - Update #1550653730 Dependabot Updates #15: by dependabot Bot
54s main
main
54s
Merge pull request #40 from TomasOrtega/fix/site-favicon Site, Lean, and Pages #155: Commit cda601c pushed by TomasOrtega
10m 30s main
main
10m 30s
fix(site): add browser favicon Site, Lean, and Pages #154: Pull request #40 opened by TomasOrtega
10m 4s fix/site-favicon
fix/site-favicon
10m 4s
Merge pull request #38 from TomasOrtega/style/simpler-homepage Site, Lean, and Pages #153: Commit d833279 pushed by TomasOrtega
10m 9s main
main
10m 9s
fix: simplify homepage layout and copy Site, Lean, and Pages #152: Pull request #38 opened by TomasOrtega
11m 30s style/simpler-homepage
style/simpler-homepage
11m 30s
Merge pull request #37 from TomasOrtega/data/trapdoor-best-known-bounds Site, Lean, and Pages #151: Commit b4a1a41 pushed by TomasOrtega
10m 4s main
main
10m 4s
fix(data): update trapdoor capacity bounds Site, Lean, and Pages #150: Pull request #37 opened by TomasOrtega
10m 56s data/trapdoor-best-known-bounds
data/trapdoor-best-known-bounds
10m 56s
Merge pull request #33 from TomasOrtega/issue-30-result-captions Site, Lean, and Pages #149: Commit db27e4d pushed by TomasOrtega
11m 44s main
main
11m 44s
fix(site): caption problem result tables Site, Lean, and Pages #148: Pull request #33 synchronize by Copilot AI
11m 39s issue-30-result-captions
issue-30-result-captions
11m 39s
Addressing comment on PR #33 Copilot cloud agent #3: by Copilot AI
2m 34s issue-30-result-captions
issue-30-result-captions
2m 34s
Merge pull request #34 from TomasOrtega/issue-31-frontier-docs Site, Lean, and Pages #147: Commit 24f42ab pushed by TomasOrtega
10m 39s main
main
10m 39s
docs: explain concrete frontier tasks Site, Lean, and Pages #146: Pull request #34 synchronize by TomasOrtega
10m 6s issue-31-frontier-docs
issue-31-frontier-docs
10m 6s
Merge pull request #35 from TomasOrtega/issue-29-frontier-search Site, Lean, and Pages #145: Commit 47678ce pushed by TomasOrtega
11m 8s main
main
11m 8s