ci: run the affordable gate set on push and publish at the tag

Assisted-by: DeepSeek V4.1 Flash
2026-10-04 21:17:40 +02:00
parent 5a8e9acbf3
commit ae1baa0e61
9 changed files with 196 additions and 257 deletions
@@ -162,9 +162,10 @@ other. Encoding parity is the exception: the byte comparison against the
 toolchain runs on the host for every architecture, so no emulator stands
 between the claim and the evidence. The debugger is the weakest case: on
 the three emulated architectures its per-architecture ptrace code has
-been compiled and read, never executed. Its architecture-neutral units
-run under `go test ./...`, which the race workflow and a manual run
-perform; the default `just test` gate does not sweep `./debug/...`.
+been compiled and read, never executed. Its units run under
+`go test ./...`, which `just test` sweeps in a second invocation beside
+the coverage profile; the live ptrace sessions are skipped in short
+mode, so they run locally or in the dispatched suite, never on a push.

 ## The documentation goal