Diagnose facilitator failures instead of quoting them, and give redis real CI coverage - #714

Merged

MikeyPetrillo merged 7 commits into

mainfrom

claude/sweet-brown-i99jl3

Aug 7, 2026

Commits on Aug 7, 2026

[test][deploy] Make a facilitator's error page name itself

MikeyPetrillo
and
claude
committed
82bac31
[test][deploy] Trigger CI for the facilitator diagnostics

MikeyPetrillo
and
claude
committed
c0fbae2
[test][deploy] Make the facilitator name itself in its own errors

MikeyPetrillo
and
claude
committed
eaa4a7a
[test][deploy] Trigger CI for the facilitator error labels

MikeyPetrillo
and
claude
committed
e351fc1
[test][deploy] Put a real redis in CI, because nothing had ever connected to one

MikeyPetrillo
and
claude
committed
bae5eea
[test] Trigger CI for the redis integration coverage

MikeyPetrillo
and
claude
committed
3b572c9
[deploy] Ship the facilitator error labels

MikeyPetrillo
and
claude
committed
d1f77a8