CI/CD Pipeline Configuration Update
CI/CD Pipeline Configuration Update: a task in repo2rlenv-seta-evol (Harbor dataset). You are a DevOps engineer managing a CI/CD pipeline. There is an existing INI-format configuration file at /home/user/pipeline.ini with placeholder settings. You must update it, derive a JSON job manifest from…
The task
You are a DevOps engineer managing a CI/CD pipeline. There is an existing INI-format configuration file at `/home/user/pipeline.ini` with placeholder settings. You must update it, derive a JSON job manifest from the updated values, and write a validation script.
Part of FineEnvs/repo2rlenv-seta-evol.