Send notification email from GitHub workflows over SMTPS (465) or STARTTLS on the submission port (587) — the route Google Workspace expects and Microsoft 365 requires. Node-free: one static Zig binary, no dependencies, SMTP session formally specified in Idris2 and machine-checked. Migration path from dawidd6/action-send-mail.