Fix the JSON-to-CSV Conversion Pipeline
Fix the JSON-to-CSV Conversion Pipeline: a task in repo2rlenv-seta-seed2synth (Harbor dataset). A data pipeline script at /opt/pipeline/convert.sh is supposed to convert /opt/pipeline/data.json into a flat CSV file at /opt/pipeline/output.csv . However, the script currently produces incorrect or…
Part of FineEnvs/repo2rlenv-seta-seed2synth.