Skip to content

Actions: epoch-research/LeanOpenProblems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 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
bloom68: raise per-sample cost cap to $300 (as used in the 2026-08-28… Checks #175: Commit 77882c4 pushed by tadamcz
45m 44s main
main
45m 44s
bloom68: raise per-sample cost cap to $300 (as used in the 2026-08-28… Build LeanOpenProblems Docker Images and Upload to Amazon ECR #54: Commit 77882c4 pushed by tadamcz
1h 6m 16s main
main
1h 6m 16s
bloom68: raise per-sample cost cap to $300 Checks #174: Pull request #46 opened by tadamcz
55m 54s bloom68-300usd-cap
bloom68-300usd-cap
55m 54s
Run tini as PID 1 in sandbox containers, so orphans get reaped Checks #173: Pull request #45 synchronize by tadamcz
46m 14s tini-pid1
tini-pid1
46m 14s
Run tini as PID 1 in sandbox containers, so orphans get reaped Checks #172: Pull request #45 synchronize by tadamcz
48m 31s tini-pid1
tini-pid1
48m 31s
Run tini as PID 1 in sandbox containers, so orphans get reaped Checks #171: Pull request #45 opened by tadamcz
41m 55s tini-pid1
tini-pid1
41m 55s
Build LeanOpenProblems Docker Images and Upload to Amazon ECR Build LeanOpenProblems Docker Images and Upload to Amazon ECR #53: Manually run by tadamcz
2h 20m 8s corpus-images-last-testrun
corpus-images-last-testrun
2h 20m 8s
Build corpus images last, in a separate workflow step Checks #170: Pull request #44 opened by tadamcz
1h 6m 31s corpus-images-last
corpus-images-last
1h 6m 31s
Add retry_on_error: 16 to Hawk configs (#43) Checks #169: Commit 2858417 pushed by tadamcz
58m 52s main
main
58m 52s
Add retry_on_error: 16 to Hawk configs (#43) Build LeanOpenProblems Docker Images and Upload to Amazon ECR #52: Commit 2858417 pushed by tadamcz
2h 25m 22s main
main
2h 25m 22s
Add retry_on_error: 16 to Hawk configs Checks #168: Pull request #43 synchronize by tadamcz
48m 20s retry-on-error-16
retry-on-error-16
48m 20s
Add retry_on_error: 16 to Hawk configs Checks #167: Pull request #43 opened by tadamcz
58m 6s retry-on-error-16
retry-on-error-16
58m 6s
Add canonical OEIS Open Lite config (basic agent, $200/sample) (#42) Checks #166: Commit c44d5b1 pushed by tadamcz
56m 46s main
main
56m 46s
Add canonical OEIS Open Lite config (basic agent, $200/sample) (#42) Build LeanOpenProblems Docker Images and Upload to Amazon ECR #51: Commit c44d5b1 pushed by tadamcz
2h 46m 4s main
main
2h 46m 4s
Add canonical OEIS Open Lite config (basic agent, $200/sample) Checks #165: Pull request #42 synchronize by tadamcz
48m 5s oeis-open-lite-config
oeis-open-lite-config
48m 5s
Add canonical OEIS Open Lite config (basic agent, $200/sample) Checks #164: Pull request #42 synchronize by tadamcz
1h 13m 23s oeis-open-lite-config
oeis-open-lite-config
1h 13m 23s
Add canonical OEIS Open Lite config (basic agent, $200/sample) Checks #163: Pull request #42 opened by tadamcz
56m 48s oeis-open-lite-config
oeis-open-lite-config
56m 48s
Build LeanOpenProblems Docker Images and Upload to Amazon ECR Build LeanOpenProblems Docker Images and Upload to Amazon ECR #50: Manually run by tadamcz
2h 12m 41s wikipedia-dataset
wikipedia-dataset
2h 12m 41s
Agent workspace rework: declared compute layer, expanded tool roster, Loogle, Pantograph removal Checks #162: Pull request #39 synchronize by tadamcz
33m 18s agent-compute-rework
agent-compute-rework
33m 18s
Build LeanOpenProblems Docker Images and Upload to Amazon ECR Build LeanOpenProblems Docker Images and Upload to Amazon ECR #49: Manually run by tadamcz
2h 44m 39s agent-compute-rework
agent-compute-rework
2h 44m 39s
Agent workspace rework: declared compute layer, expanded tool roster, Loogle, Pantograph removal Checks #161: Pull request #39 synchronize by tadamcz
51m 25s agent-compute-rework
agent-compute-rework
51m 25s
Build LeanOpenProblems Docker Images and Upload to Amazon ECR Build LeanOpenProblems Docker Images and Upload to Amazon ECR #48: Manually run by tadamcz
5m 28s agent-compute-rework
agent-compute-rework
5m 28s
Agent workspace rework: declared compute layer, expanded tool roster, Loogle, Pantograph removal Checks #160: Pull request #39 opened by tadamcz
1h 0m 44s agent-compute-rework
agent-compute-rework
1h 0m 44s
Run formerly resource-bound gold proofs (#36) Build LeanOpenProblems Docker Images and Upload to Amazon ECR #47: Commit b969c76 pushed by tadamcz
2h 41m 16s main
main
2h 41m 16s
Run formerly resource-bound gold proofs (#36) Checks #159: Commit b969c76 pushed by tadamcz
56m 38s main
main
56m 38s