Pants project is transitioning to using GitHub Actions instead of TravisCI. The docs currently lead with TravisCI as the canonical example for using Pants with CI. The page could use a few more examples. Adding CircleCI, perhaps? GH Actions is mentioned down the page, but it's not TOC-level topic.

Agreed