diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 55c4af435..1803c168a 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -1,7 +1,9 @@
-# Runs on notable pushes to master.
-# Builds incrementally and unoptimised on x64 linux and runs functional tests,
-# using the GHC version below (8.10.7).
-# Build/test failure does not block the push.
+# Runs after notable pushes to the branches listed below. (Failure does not prevent the push.)
+# Builds unoptimised on x64 linux and runs functional tests, using the GHC version(s) enabled below.
+# When master is configured to require a successful CI check, the process is
+# 1. push to a personal test branch, listed below, 
+# 2. wait for this check to succeed, then
+# 3. push the same commits to master.
 
 name: push CI
 
@@ -45,6 +47,7 @@ jobs:
         # - { ghc: "88" , stack: "stack --stack-yaml=stack8.8.yaml" }
         - { ghc: "810"  , stack: "stack --stack-yaml=stack8.10.yaml" }
         # - { ghc: "90" , stack: "stack --stack-yaml=stack.yaml" }
+        # - { ghc: "92"  , stack: "stack --stack-yaml=stack9.2.yaml" }
 
     steps: