doc(ci): explain the different ways .txt files are used (#3743)

.github/workflows/ci.yml

@@ -6,7 +6,7 @@ on:
     paths:
       # code and tests
       - '**/*.rs'
-      # hard-coded checkpoints
+      # hard-coded checkpoints and proptest regressions
       - '**/*.txt'
       # test data snapshots
       - '**/*.snap'

.github/workflows/coverage.yml

@@ -8,7 +8,7 @@ on:
     paths:
       # code and tests
       - '**/*.rs'
-      # hard-coded checkpoints
+      # hard-coded checkpoints and proptest regressions
       - '**/*.txt'
       # test data snapshots
       - '**/*.snap'

.github/workflows/test.yml

@@ -15,7 +15,7 @@ on:
     paths:
       # code and tests
       - '**/*.rs'
-      # hard-coded checkpoints
+      # hard-coded checkpoints and proptest regressions
       - '**/*.txt'
       # test data snapshots
       - '**/*.snap'