ci: verify UOR Atlas as the parts of one run (#131) - #152

ci: verify UOR Atlas as the parts of one run (#131)#152

afflom merged 4 commits into

mainUOR-Foundation/LexLean:mainfrom

claude/issue-131-atlas-shardsUOR-Foundation/LexLean:claude/issue-131-atlas-shardsCopy head branch name to clipboard