ci: linux: rename to pull, don't run on push

.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 also weekly on master.
-# and 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: