From cf3229b37c912acf37a4c7b50ea2912a764053cd Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 20 Apr 2020 18:32:19 -0700
Subject: [PATCH] ;ci: push: dummy change to trigger a build

---
 .github/workflows/push.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 1cbcd3683..0b8ab78f2 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -135,3 +135,4 @@ jobs:
       run: |
         export PATH=~/.local/bin:$PATH
         COLUMNS=80 stack exec -- shelltest --execdir -j16 tests -x /bin -x /addons
+