ci/config/README

   1 You can configure some aspects of the GitHub Actions-based CI on a
   2 per-repository basis by setting "variables" and "secrets" from with the
   3 GitHub web interface. These can be found at:
   4
   5   https://github.com/<user>/git/settings/secrets/actions
   6
   7 The following variables can be used:
   8
   9  - CI_BRANCHES
  10
  11    By default, CI is run when any branch is pushed. If this variable is
  12    non-empty, then only the branches it lists will run CI. Branch names
  13    should be separated by spaces, and should use their shortened form
  14    (e.g., "main", not "refs/heads/main").