ci: push: really run for all file changes

so that they get the success status and can then be pushed to master.

.github/workflows/push.yml

@@ -14,20 +14,18 @@ name: push CI
 on:
   push:
     branches: [ simon ]
-    paths:
-      - '.github/workflows/push.yml'
-      - 'stack*.yaml'
-      - 'hledger-lib/**'
-      - 'hledger/**'
-      - 'hledger-ui/**'
-      - 'hledger-web/**'
-      - 'bin/*.hs'
-      - 'examples/**'
-
     # Run this workflow on changes to any file, including trivial doc fixes,
     # since a successful run is required before merging into master.
     # Hopefully caching will keep it relatively cheap.
-      
+    # paths:
+    #   - '.github/workflows/push.yml'
+    #   - 'stack*.yaml'
+    #   - 'hledger-lib/**'
+    #   - 'hledger/**'
+    #   - 'hledger-ui/**'
+    #   - 'hledger-web/**'
+    #   - 'bin/*.hs'
+    #   - 'examples/**'
     #   # ignore certain boring paths completely (even if the commit message didn't begin with ;).
     #   # XXX it would still be nice to check the commit messages.
     #   #