test(ci): run the changed agents' smoke and the changed benchmarks' oracle - #333

Merged

elronbandel merged 5 commits into

mainfrom

elron/affected-agents-oracle

Aug 10, 2026

Commits on Aug 10, 2026

test(ci): run the changed agents' smoke and the changed benchmarks' oracle
elronbandel
committed
89a7175
fix: oracle one pinned task for per-task benchmarks; ask the harness for coverage
elronbandel
committed
a72c733
refactor: selection logic moves to tests/select-affected.sh
elronbandel
committed
f614836
proof: exercise the affected gate end to end (reverted next commit)
elronbandel
committed
b365bfe
revert the proof commit's Dockerfile edits (keep the merge-base fix)
elronbandel
committed
7270686