Sync develop into agent-develop #124

Merged
EduarD3V merged 1 commit from develop into agent-develop 2026-10-10 19:07:14 +02:00
Owner

Keeps agent-develop current with the promotion merge commits that only live on develop, so promotion PRs are not behind their base (block_on_outdated_branch). Mirrors #118.

Keeps `agent-develop` current with the promotion merge commits that only live on `develop`, so promotion PRs are not behind their base (`block_on_outdated_branch`). Mirrors #118.
Merge pull request 'Promote agent-develop to develop: publish :latest on main (UC-OP-27)' (#119) from agent-develop into develop
All checks were successful
CI and agent release / check-docs (pull_request) Successful in 24s
agent-guards / test-tampering (pull_request) Successful in 30s
CI and agent release / preflight (pull_request) Successful in 50s
CI and agent release / test-agent (pull_request) Successful in 1m37s
CI and agent release / test-dashboard (pull_request) Successful in 2m30s
CI and agent release / test-middleware (pull_request) Successful in 10m4s
CI and agent release / build (pull_request) Has been skipped
CI and agent release / release (pull_request) Has been skipped
1e4c7b86bf
EduarD3V merged commit 4c893abc22 into agent-develop 2026-10-10 19:07:14 +02:00
Sign in to join this conversation.
No description provided.