From 6c112e045956a3c3758cf2225cf0ec0a3a922944 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 11 Jan 2021 12:09:55 +0100
Subject: [PATCH] fix zulip-send path

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fd6258693af6..ba26a7772d17 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -130,6 +130,6 @@ jobs:
           ZULIP_BOT_EMAIL: ${{ secrets.ZULIP_BOT_EMAIL }}
           ZULIP_API_TOKEN: ${{ secrets.ZULIP_API_TOKEN }}
         run: |
-          zulip-send --stream miri --subject "Cron Job Failure" \
+          ~/.local/bin/zulip-send --stream miri --subject "Cron Job Failure" \
             --message '@**RalfJ** @**oli** the Miri cron job build failed. Please investigate!' \
             --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN