Stop-gap CI email fix

2026-10-02 16:13:34 +02:00 · 2019-12-02 08:18:15 -05:00
parent 809a6de9cd
commit 13569ed98b
1 changed files with 1 additions and 0 deletions
@@ -172,4 +172,5 @@ notifications:
  email:
    if: repo = verilator/verilator
    recipients:
+      - [email protected]
      - [email protected]