Log Pipeline Repair
Log Pipeline Repair: a task in repo2rlenv-seta-seed2synth (Harbor dataset). A log-processing pipeline at /opt/logpipe/ is broken. The script process logs.sh is supposed to read /opt/logpipe/data/events.ndjson — a newline-delimited JSON file where each record has fields id , source , tags (an…
Part of FineEnvs/repo2rlenv-seta-seed2synth.