Aum/fixes#8

Closed

aumrp77 wants to merge 29 commits intolean-dojo:mainfrom

aumrp77:aum/fixes

Commits on Aug 16, 2025

Removing dynamic database docstrings
motiwari
committed

Commits on Aug 25, 2025

Running formatter
motiwari
committed
Fixing imports
motiwari
committed
Refactor
motiwari
committed
Querying commit hashes
motiwari
committed
Revert
motiwari
committed
organization
motiwari
committed

Commits on Sep 15, 2025

Trying to update paths so they're created in RAID_DIR/reposM
motiwari
committed

Commits on Sep 18, 2025

Updating changes
motiwari
committed

Commits on Sep 23, 2025

fix: run on CPU-only dev envs; handle empty difficulty list
aumrp77
committed

Commits on Oct 24, 2025

Guard repo_info reads with a file lock
aumrp77
committed

Commits on Oct 28, 2025

Guard JSON access with file lock and adjust dataset handling
aumrp77
committed

Commits on Oct 30, 2025

Revert export caching guard
aumrp77
committed

Commits on Nov 4, 2025

Instrument tracing workflow and add skip prompts
aumrp77
committed

Commits on Nov 6, 2025

Add paper tracing scripts and enable merged dataset build
aumrp77
committed

Commits on Nov 21, 2025

Trace more paper repos
aumrp77
committed

Commits on Dec 9, 2025

Add training scripts and fix merged dataset build
aumrp77
committed

Commits on Jan 5, 2026

Fix lifelong learning bugs for 23-repo reproduction
aumrp77
committed