Renaming the c-cpp workflow to build-and-test, which expresses better its intention.

mps/.github/workflows/build-and-test.yml

@@ -1,15 +1,15 @@
-# .github/workflows/c-cpp.yml
+# .github/workflows/build-and-test.yml
 #
 # GitHub CI <https://docs.github.com/en/actions/automating-builds-and-tests/about-continuous-integration>
 #
 # Adapted from <https://github.com/actions/starter-workflows/blob/9f245d9aba830ad16a097a45c78331a05114d815/ci/c-cpp.yml>
 
-name: C/C++ CI
+name: build and test
 
 on:
   - push
   - pull_request
-  # Also run when triggered manually
+  # Also run when triggered manually, e.g. by tool/github-ci-kick
   # <https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow>
   - workflow_dispatch
 

mps/.travis.yml

@@ -18,7 +18,7 @@ os:
   # - osx
   # See "include" section for Windows
 arch:
-  # Most amd64 builds moved to GitHub CI.  See .github/workflows/c-cpp.yml.
+  # Most amd64 builds moved to GitHub CI.  See .github/workflows/build-and-test.yml.
   # - amd64
   - arm64
 compiler:

mps/tool/github-ci-kick

@@ -7,7 +7,7 @@
 # This shell script uses the GitHub REST API to kick off a build on
 # the GitHub CI servers [GITHUB].  The build will be run using the
 # GitHub CI configuration at the commit (in
-# .github/workflows/c-cpp.yml).
+# .github/workflows/build-and-test.yml).
 #
 # See also tool/travis-ci-kick.
 #
@@ -68,7 +68,7 @@ curl --silent --show-error \
   --header "Accept: application/vnd.github+json" \
   --header "Authorization: Bearer ${auth}"\
   --header "X-GitHub-Api-Version: 2022-11-28" \
-  "https://api.github.com/repos/${org}/${repo}/actions/workflows/c-cpp.yml/dispatches" \
+  "https://api.github.com/repos/${org}/${repo}/actions/workflows/build-and-test.yml/dispatches" \
   <<-EOF
 {
   "ref": "${branch}"