From 8c25581dd5a1fb461bc0eb89e7a9d8d0ba2f97ea Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Wed, 1 Dec 2021 21:21:49 -1000
Subject: [PATCH] ci: linux: rename to pull, don't run on push

---
 .github/workflows/{linux.yml => pull.yml} | 28 ++---------------------
 1 file changed, 2 insertions(+), 26 deletions(-)
 rename .github/workflows/{linux.yml => pull.yml} (94%)

diff --git a/.github/workflows/linux.yml b/.github/workflows/pull.yml
similarity index 94%
rename from .github/workflows/linux.yml
rename to .github/workflows/pull.yml
index 8881fd7df..df579e3c9 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/pull.yml
@@ -1,6 +1,5 @@
 # Runs on notable pull requests against master,
-# and also on notable pushes to ci-linux (no longer used),
-# and weekly on master.
+# and also weekly on master.
 
 # Builds all modules optimised and runs
 # unit/doc/functional/haddock/benchmark tests on linux,
@@ -12,7 +11,7 @@
 # This is the "master" workflow on which the others are based, 
 # with the most detailed notes.
 
-name: linux CI
+name: pull CI
 
 on:
   # Scheduled workflows run on the latest commit on the default or base branch. (master)
@@ -43,29 +42,6 @@ on:
       - '!**.info'
       - '!**.txt'
 
-  push:
-    branches: [ ci-linux ]
-    paths:
-      - '.github/workflows/linux.yml'
-      - 'stack*'
-      - 'hledger-lib/**'
-      - 'hledger/**'
-      - 'hledger-ui/**'
-      - 'hledger-web/**'
-      # ignore changes to example files, though currently some func tests depend on them
-      - 'examples/**'
-      - '!**.journal'
-      - '!**.j'
-      - '!**.ledger'
-      - '!**.csv'
-      # ignore changes to doc source files
-      - '!**.m4'
-      - '!**.md'
-      - '!**.1'
-      - '!**.5'
-      - '!**.info'
-      - '!**.txt'
-
   workflow_dispatch:
 
 jobs: