From 4f31659204f9c2606c924d12ee4ce9583f398d21 Mon Sep 17 00:00:00 2001
From: Jack Firth <jackhfirth@gmail.com>
Date: Tue, 28 Oct 2025 21:30:23 -0700
Subject: [PATCH 1/5] Split CI and code coverage workflows

---
 .github/workflows/ci.yml                     | 16 ++++++++++++++++
 .github/workflows/{main.yml => coverage.yml} | 11 ++++-------
 2 files changed, 20 insertions(+), 7 deletions(-)
 create mode 100644 .github/workflows/ci.yml
 rename .github/workflows/{main.yml => coverage.yml} (60%)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
new file mode 100644
index 00000000..f5321fa1
--- /dev/null
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,16 @@
+name: CI
+
+on: [push, pull_request]
+
+jobs:
+  ci:
+    name: "Build and Test"
+    runs-on: ubuntu-latest
+    if: ${{ github.event_name == 'pull_request' || github.actor != 'Copilot' }}
+    steps:
+      - uses: actions/checkout@master
+      - uses: Bogdanp/setup-racket@v1.5
+        with:
+          version: stable
+      - run: raco pkg install --batch --auto --link --name resyntax
+      - run: raco test --package resyntax
diff --git a/.github/workflows/main.yml b/.github/workflows/coverage.yml
similarity index 60%
rename from .github/workflows/main.yml
rename to .github/workflows/coverage.yml
index 158a95b6..2ed8f550 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/coverage.yml
@@ -1,21 +1,18 @@
-name: CI
+name: Code Coverage
 
-on: [push, pull_request]
+on: [pull_request]
 
 jobs:
-  ci:
-    name: "Build and Test"
+  code-coverage:
+    name: "Code Coverage"
     runs-on: ubuntu-latest
-    if: ${{ github.event_name == 'pull_request' || github.actor != 'Copilot' }}
     steps:
       - uses: actions/checkout@master
       - uses: Bogdanp/setup-racket@v1.5
         with:
           version: stable
-      - run: echo "github actor is ${{ github.actor }} and triggering actor is ${{ github.triggering_actor }}"
       - run: raco pkg install --batch --auto cover cover-coveralls
       - run: raco pkg install --batch --auto --link --name resyntax
-      - run: raco test --package resyntax
       - run: raco cover --format coveralls --suppress-log-execution --package resyntax
         env:
           COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}

From b28a198811b136205426b7d7bb51e79d758bcc76 Mon Sep 17 00:00:00 2001
From: Jack Firth <jackhfirth@gmail.com>
Date: Tue, 28 Oct 2025 21:34:02 -0700
Subject: [PATCH 2/5] Tweak workflow naming

---
 .github/workflows/ci.yml       | 3 +--
 .github/workflows/coverage.yml | 1 -
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f5321fa1..4ffe2b4c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,10 +1,9 @@
-name: CI
+name: Build and Test
 
 on: [push, pull_request]
 
 jobs:
   ci:
-    name: "Build and Test"
     runs-on: ubuntu-latest
     if: ${{ github.event_name == 'pull_request' || github.actor != 'Copilot' }}
     steps:
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 2ed8f550..c35ec323 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -4,7 +4,6 @@ on: [pull_request]
 
 jobs:
   code-coverage:
-    name: "Code Coverage"
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@master

From a4b899debb54fd5b4cf7a6b20e63921f7152b09b Mon Sep 17 00:00:00 2001
From: Jack Firth <jackhfirth@gmail.com>
Date: Tue, 28 Oct 2025 21:38:50 -0700
Subject: [PATCH 3/5] More naming tweaks

---
 .github/workflows/ci.yml       | 4 ++--
 .github/workflows/coverage.yml | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4ffe2b4c..0cb7bd6c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,9 +1,9 @@
-name: Build and Test
+name: Continuous Integration
 
 on: [push, pull_request]
 
 jobs:
-  ci:
+  run:
     runs-on: ubuntu-latest
     if: ${{ github.event_name == 'pull_request' || github.actor != 'Copilot' }}
     steps:
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index c35ec323..e221c6cc 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -3,7 +3,7 @@ name: Code Coverage
 on: [pull_request]
 
 jobs:
-  code-coverage:
+  run:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@master

From b60b3fd77131004a4a0e66669e14e7cf751041c2 Mon Sep 17 00:00:00 2001
From: Jack Firth <jackhfirth@gmail.com>
Date: Tue, 28 Oct 2025 21:39:47 -0700
Subject: [PATCH 4/5] Changed my mind

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0cb7bd6c..7b6d3e7c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,4 +1,4 @@
-name: Continuous Integration
+name: Build and Test
 
 on: [push, pull_request]
 

From 5aecafb7d5d570629425dd4b6b5041e7b5f5f123 Mon Sep 17 00:00:00 2001
From: Jack Firth <jackhfirth@gmail.com>
Date: Tue, 28 Oct 2025 21:47:39 -0700
Subject: [PATCH 5/5] Keep reporting coverage on master

---
 .github/workflows/coverage.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index e221c6cc..592d4bd5 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -1,6 +1,10 @@
 name: Code Coverage
 
-on: [pull_request]
+on:
+  push:
+    branches:
+      - master
+  pull_request:
 
 jobs:
   run: