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

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

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