Skip to content

Actions: epoch-research/LeanOpenProblems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
213 workflow runs
213 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
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
Run formerly resource-bound gold proofs Checks #158: Pull request #36 synchronize by tadamcz
47m 5s codex/remove-resource-bound-stems
codex/remove-resource-bound-stems
47m 5s
Lowercase proof prompt emphasis (#38) Checks #157: Commit 0496feb pushed by tadamcz
54m 52s main
main
54m 52s
Lowercase proof prompt emphasis (#38) Build LeanOpenProblems Docker Images and Upload to Amazon ECR #46: Commit 0496feb pushed by tadamcz
3h 15m 17s main
main
3h 15m 17s
Lowercase proof prompt emphasis Checks #156: Pull request #38 opened by tadamcz
53m 11s codex/lowercase-exactly-one
codex/lowercase-exactly-one
53m 11s
Run formerly resource-bound gold proofs Checks #155: Pull request #36 synchronize by tadamcz
46m 16s codex/remove-resource-bound-stems
codex/remove-resource-bound-stems
46m 16s
Remove empty module drift skip set (#34) Build LeanOpenProblems Docker Images and Upload to Amazon ECR #45: Commit f2eb443 pushed by tadamcz
3h 31m 47s main
main
3h 31m 47s
Remove empty module drift skip set (#34) Checks #154: Commit f2eb443 pushed by tadamcz
54m 7s main
main
54m 7s
Remove empty module drift skip set Checks #153: Pull request #34 synchronize by tadamcz
53m 25s codex/remove-module-drift-stems
codex/remove-module-drift-stems
53m 25s
Set agent and comparator memory to 32 GiB (#37) Checks #152: Commit 1328633 pushed by tadamcz
1h 11m 58s main
main
1h 11m 58s
Set agent and comparator memory to 32 GiB (#37) Build LeanOpenProblems Docker Images and Upload to Amazon ECR #44: Commit 1328633 pushed by tadamcz
3h 42m 59s main
main
3h 42m 59s
Set agent and comparator memory to 32 GiB Checks #151: Pull request #37 synchronize by tadamcz
54m 15s codex/set-agent-comparator-memory-32g
codex/set-agent-comparator-memory-32g
54m 15s
Set agent and comparator memory to 32 GiB Checks #150: Pull request #37 opened by tadamcz
57m 1s codex/set-agent-comparator-memory-32g
codex/set-agent-comparator-memory-32g
57m 1s
Run formerly resource-bound gold proofs Checks #149: Pull request #36 opened by tadamcz
1h 0m 11s codex/remove-resource-bound-stems
codex/remove-resource-bound-stems
1h 0m 11s
Remove empty module drift skip set Checks #148: Pull request #34 synchronize by tadamcz
41m 12s codex/remove-module-drift-stems
codex/remove-module-drift-stems
41m 12s
Apply Bloom's statement-selection verdicts; add the bloom68 config (#35) Build LeanOpenProblems Docker Images and Upload to Amazon ECR #43: Commit 8d201a4 pushed by tadamcz
3h 26m 39s main
main
3h 26m 39s
Apply Bloom's statement-selection verdicts; add the bloom68 config (#35) Checks #147: Commit 8d201a4 pushed by tadamcz
48m 55s main
main
48m 55s
Apply Bloom's statement-selection verdicts; add the bloom68 config Checks #146: Pull request #35 synchronize by tadamcz
48m 3s bloom-verdicts
bloom-verdicts
48m 3s
Apply Bloom's statement-selection verdicts; add the bloom68 config Checks #145: Pull request #35 synchronize by tadamcz
57m 38s bloom-verdicts
bloom-verdicts
57m 38s