docs: detail

Author: erikmd

.github/workflows/build-coq-demo.yml

@@ -1,8 +1,8 @@
 # This is a workflow example relying on docker-coq-action
 name: CI
 
-# Controls when the action will run.
-# cf. https://help.github.com/en/actions/configuring-and-managing-workflows/configuring-a-workflow#filtering-for-specific-branches-tags-and-paths
+# Controls when the action will run:
+# https://help.github.com/en/actions/configuring-and-managing-workflows/configuring-a-workflow#filtering-for-specific-branches-tags-and-paths
 # Triggers the workflow on push events or pull request events for the
 # master branch only:
 on:
@@ -26,8 +26,8 @@ jobs:
           - 8.11
           - dev
         ocaml_version: ['4.07-flambda']
-      # at most 20 concurrent jobs per free account
-      # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limits
+      # at most 20 concurrent jobs per free account:
+      # https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limits
       max-parallel: 4
 
     # Steps represent a sequence of tasks that will be executed as part of the job