From 61a102e620b7d55f2edf04b259133bbeea86502f Mon Sep 17 00:00:00 2001 From: pedrocarlo Date: Thu, 19 Jun 2025 19:44:08 -0300 Subject: [PATCH] add Pedro to email recipients for antithesis --- .github/workflows/antithesis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/antithesis.yml b/.github/workflows/antithesis.yml index 7e0b1dc8b..f0b417632 100644 --- a/.github/workflows/antithesis.yml +++ b/.github/workflows/antithesis.yml @@ -13,7 +13,7 @@ env: ANTITHESIS_PASSWD: ${{ secrets.ANTITHESIS_PASSWD }} ANTITHESIS_DOCKER_HOST: us-central1-docker.pkg.dev ANTITHESIS_DOCKER_REPO: ${{ secrets.ANTITHESIS_DOCKER_REPO }} - ANTITHESIS_EMAIL: "penberg@turso.tech" + ANTITHESIS_EMAIL: "penberg@turso.tech;pmuniz@turso.tech" ANTITHESIS_REGISTRY_KEY: ${{ secrets.ANTITHESIS_REGISTRY_KEY }} jobs: