Skip to content

Actions: epoch-research/LeanOpenProblems

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
350 workflow runs
350 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
Make the pristine Mathlib tree world-readable; test every FC pin's co… Build LeanOpenProblems Docker Images and Upload to Amazon ECR #79: Commit 782ad77 pushed by tadamcz
26s main
main
26s
Make the pristine Mathlib tree world-readable; test every FC pin's co… Checks #269: Commit 782ad77 pushed by tadamcz
1h 58m 19s main
main
1h 58m 19s
Make the pristine Mathlib tree world-readable; test every FC pin's comparator image; improve tests Checks #268: Pull request #65 synchronize by tadamcz
1h 52m 3s fix/pristine-tree-world-readable
fix/pristine-tree-world-readable
1h 52m 3s
Make the pristine Mathlib tree world-readable; test every FC pin's comparator image; improve tests Checks #267: Pull request #65 synchronize by tadamcz
1h 55m 58s fix/pristine-tree-world-readable
fix/pristine-tree-world-readable
1h 55m 58s
Make the pristine Mathlib tree world-readable; test every FC pin's comparator image; improve tests Checks #266: Pull request #65 synchronize by tadamcz
1h 59m 8s fix/pristine-tree-world-readable
fix/pristine-tree-world-readable
1h 59m 8s
Make the pristine Mathlib tree world-readable; test every FC pin's comparator image; improve tests Checks #265: Pull request #65 opened by tadamcz
1h 26m 4s fix/pristine-tree-world-readable
fix/pristine-tree-world-readable
1h 26m 4s
Stop samples that loop unproductively (#60) Checks #264: Commit 1ba2925 pushed by tadamcz
49m 38s main
main
49m 38s
Stop samples that loop unproductively (#60) Build LeanOpenProblems Docker Images and Upload to Amazon ECR #78: Commit 1ba2925 pushed by tadamcz
2m 16s main
main
2m 16s
Stop samples that loop unproductively Checks #263: Pull request #60 synchronize by tadamcz
52m 20s unproductive-loop-limits
unproductive-loop-limits
52m 20s
Default hawk_download_eval_set.py to --method hawk (#63) Checks #262: Commit 0b58d6b pushed by tadamcz
50m 1s main
main
50m 1s
Default hawk_download_eval_set.py to --method hawk (#63) Build LeanOpenProblems Docker Images and Upload to Amazon ECR #77: Commit 0b58d6b pushed by tadamcz
37s main
main
37s
Default hawk_download_eval_set.py to --method hawk Checks #261: Pull request #63 synchronize by tadamcz
50m 24s download-default-hawk
download-default-hawk
50m 24s
Pin the corpus metadata to a July 2022 arXiv dump (#62) Build LeanOpenProblems Docker Images and Upload to Amazon ECR #76: Commit 383d5fc pushed by tadamcz
2m 17s main
main
2m 17s
Pin the corpus metadata to a July 2022 arXiv dump (#62) Checks #260: Commit 383d5fc pushed by tadamcz
53m 51s main
main
53m 51s
Cache the latest scoring result in the checker Checks #259: Pull request #64 opened by bill-bateman
52m 13s scoring-1-cache
scoring-1-cache
52m 13s
Create sandbox scoring pods on-demand Checks #258: Pull request #55 synchronize by bill-bateman
50m 25s scoring-sandbox
scoring-sandbox
50m 25s
Default hawk_download_eval_set.py to --method hawk Checks #257: Pull request #63 opened by tadamcz
20m 50s download-default-hawk
download-default-hawk
20m 50s
Build LeanOpenProblems Docker Images and Upload to Amazon ECR Build LeanOpenProblems Docker Images and Upload to Amazon ECR #75: Manually run by tadamcz
2h 50m 25s arxiv-metadata-2022-snapshot
arxiv-metadata-2022-snapshot
2h 50m 25s
Pin the corpus metadata to a July 2022 arXiv dump Checks #256: Pull request #62 opened by tadamcz
36m 10s arxiv-metadata-2022-snapshot
arxiv-metadata-2022-snapshot
36m 10s
Stop samples that loop unproductively Checks #255: Pull request #60 synchronize by tadamcz
41m 36s unproductive-loop-limits
unproductive-loop-limits
41m 36s
Stop samples that loop unproductively Checks #254: Pull request #60 synchronize by tadamcz
32m 54s unproductive-loop-limits
unproductive-loop-limits
32m 54s
Stop samples that loop unproductively Checks #253: Pull request #60 synchronize by tadamcz
41m 27s unproductive-loop-limits
unproductive-loop-limits
41m 27s
Stop samples that loop unproductively Checks #252: Pull request #60 opened by tadamcz
41m 51s unproductive-loop-limits
unproductive-loop-limits
41m 51s
Replace the local resources tool with inspect_boltons' upstream one (… Build LeanOpenProblems Docker Images and Upload to Amazon ECR #74: Commit 59ff062 pushed by tadamcz
2m 26s main
main
2m 26s
Replace the local resources tool with inspect_boltons' upstream one (… Checks #251: Commit 59ff062 pushed by tadamcz
43m 6s main
main
43m 6s