GitHub pushes no longer run build/test/coverage at all — the job-level condition previously only skipped the docker/deploy steps, so every GitHub push still burned CI minutes on a build+test that went nowhere. GitHub gets its own release-triggered workflow later.