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
-