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
+