Skip to content

Actions: bespokelabsai/conjecture-bench-old

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 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
Add curated conjecture attribution index Validate #26: Commit 3158992 pushed by anirudhabspk
19s data-curation
data-curation
19s
Add ConjectureChest citation metadata Validate #25: Commit 880e96b pushed by anirudhabspk
23s data-curation
data-curation
23s
Frame data release as ConjectureChest Validate #24: Commit 2b47028 pushed by anirudhabspk
22s data-curation
data-curation
22s
Hold open problems only: drop the 742 solved catalog records Validate #23: Commit 76c07e6 pushed by anirudhabspk
21s data-curation
data-curation
21s
Re-cut the r55 snapshot after the final bench.py edit Validate #22: Commit 85d9f89 pushed by anirudhabspk
24s data-curation
data-curation
24s
Fix everything the final cold-read review found Validate #21: Commit 0548e4a pushed by anirudhabspk
15s data-curation
data-curation
15s
Add licences and a NOTICE crediting every upstream source Validate #20: Commit dd6d242 pushed by anirudhabspk
26s data-curation
data-curation
26s
Make the data release coherent and self-consistent Validate #19: Commit ab19ca6 pushed by anirudhabspk
21s data-curation
data-curation
21s
Graph Update: pip in /., /research/variations/exact #1487358505 Dependency Graph #4: by dependabot Bot
47s main
main
47s
Graph Update: pip in /. #1481568416 Dependency Graph #3: by dependabot Bot
52s main
main
52s
Merge pull request #9 from bespokelabsai/integration/unified-database Validate #18: Commit 23b7400 pushed by shreyaspimpalgaonkar
2m 0s main
main
2m 0s
Combine everything into one presentable problem collection Validate #17: Pull request #9 synchronize by anirudhabspk
2m 8s integration/unified-database
integration/unified-database
2m 8s
Combine everything into one presentable problem collection Validate #16: Pull request #9 synchronize by anirudhabspk
2m 20s integration/unified-database
integration/unified-database
2m 20s
Combine everything into one presentable problem collection Validate #15: Pull request #9 synchronize by anirudhabspk
2m 24s integration/unified-database
integration/unified-database
2m 24s
Combine everything into one presentable problem collection Validate #14: Pull request #9 synchronize by anirudhabspk
2m 20s integration/unified-database
integration/unified-database
2m 20s
Combine everything into one presentable problem collection Validate #13: Pull request #9 synchronize by anirudhabspk
2m 26s integration/unified-database
integration/unified-database
2m 26s
Combine everything into one presentable problem collection Validate #12: Pull request #9 synchronize by anirudhabspk
2m 14s integration/unified-database
integration/unified-database
2m 14s
Combine everything into one presentable problem collection Validate #11: Pull request #9 opened by anirudhabspk
22s integration/unified-database
integration/unified-database
22s
Add spreadsheets for browsing the problem database Validate #10: Pull request #8 synchronize by anirudhabspk
44s feat/database-index
feat/database-index
44s
Add spreadsheets for browsing the problem database Validate #9: Pull request #8 synchronize by anirudhabspk
50s feat/database-index
feat/database-index
50s
Add spreadsheets for browsing the problem database Validate #8: Pull request #8 opened by anirudhabspk
46s feat/database-index
feat/database-index
46s
Add a browsable index and verified enrichment overlays Validate #7: Pull request #7 opened by anirudhabspk
42s feat/database-enrichment
feat/database-enrichment
42s
Scale the open-problem database to seven sources Validate #6: Pull request #5 opened by anirudhabspk
45s feat/database-scale
feat/database-scale
45s
Add sourced open-problem database layer Validate #5: Pull request #4 opened by anirudhabspk
26s feat/problem-database
feat/problem-database
26s
Add sourced conjecture collections and Tier A verifiers Validate #4: Pull request #3 opened by anirudhabspk
42s codex/200-unique-conjectures
codex/200-unique-conjectures
42s