feat(pr-agent): use manual CI trigger for the PR-Agent

This also removes the old coreebo CI job and replaces it with the PR-Agent.

Closes #3474 (closed)

Merge request reports

Loading
Loading