From c69f319b3f33ca67a8075e000e6f15d352b10242 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 4 Apr 2022 14:29:56 -1000
Subject: [PATCH] ci: push: run for all file changes, including small doc
 fixups

so that they get the success status and can then be pushed to master.
---
 .github/workflows/push.yml | 34 +++++++++++++++++++---------------
 1 file changed, 19 insertions(+), 15 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 174121822..8ce6f0ed5 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -24,21 +24,25 @@ on:
       - '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.
-      #
-      # ignore changes to (most?) example files, though some func tests depend on them
-      - '!**.journal'
-      - '!**.j'
-      - '!**.ledger'
-      - '!**.csv'
-      # ignore changes to doc source files
-      - '!**.m4'
-      - '!**.md'
-      - '!**.1'
-      - '!**.5'
-      - '!**.info'
-      - '!**.txt'
+      # 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.
+      
+      # # 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.
+      # #
+      # # ignore changes to (most?) example files, though some func tests depend on them
+      # - '!**.journal'
+      # - '!**.j'
+      # - '!**.ledger'
+      # - '!**.csv'
+      # # ignore changes to doc source files
+      # - '!**.m4'
+      # - '!**.md'
+      # - '!**.1'
+      # - '!**.5'
+      # - '!**.info'
+      # - '!**.txt'
 
   # also allow this workflow to be triggered manually
   workflow_dispatch: