Emit OpenEnv environments as a second target alongside Harbor - #87

Closed

thegovind wants to merge 9 commits into

huggingface:mainfrom

thegovind:feat/openenv-export

Commits on Jul 28, 2026

docs: document that Repo2RLEnv datasets run on OpenEnv unchanged
thegovind
committed
04596df
docs: record how the OpenEnv interop claim was verified
thegovind
committed
05d8d65
feat(openenv): emit OpenEnv environments as a second target alongside Harbor
thegovind
committed
b895693
docs: note the exported environment was verified as a built container
thegovind
committed
c998d76
fix(openenv): port four defects found by bot review of the sibling OpenEnv PR
thegovind
committed
869da87