rename checks and add documentation

.github/workflows/pr.yaml

@@ -1,4 +1,10 @@
-name: PR commit checks and PR target branch commit checks
+name: PR commit
+# These are fast-react checks that are executed
+# whenever a PR is created or updated. These
+# are meant to quickly and cheaply identify issues with
+# the code as presented, leaving more expensive
+# multiplatform checks to the "staged commit" phase
+
 
 on:
   push:

.github/workflows/staged.yaml

@@ -1,4 +1,13 @@
-name: Staged commit checks
+name: Staged commit
+# This is the full suite of tests which is run on
+# a staged commit, just prior to merging into the
+# main tree.
+# This is meant to be the most comprehensive suite of
+# tests; they are expensive and slow to run and
+# therefore we want to limit our reliance on them.
+#
+# The number of these tests needs to be kept
+# in sync with Anubis configuration
 
 on:
   push: