Rename some actions and add information on the CI platforms.

Add some information to the readme with regard to the main
platforms we are building/testing CBMC on Github Actions.

Author: NlightNFotis

.github/workflows/README.md

@@ -20,3 +20,29 @@ The files in this folder correspond to:
 * `release-packages.yaml` -> Configuration file for performing building of build
   artifacts that are attached to release when it's being made. Invoked when a
   regular release is performed.
+
+## CI Platforms
+
+We are currently building and testing CBMC under the following configurations:
+
+* `make` * `gcc` * `linux` (ubuntu 20.04)
+* `make` * `clang` * `linux` (ubuntu 20.04)
+* `cmake` * `gcc` * `linux` (ubuntu 20.04)
+* `make` * `clang` * `macos` (10.15)
+* `cmake` * `clang` * `macos` (10.15)
+* `cmake` * `vs` * `windows` (vs2019)
+
+Aside from the main platform builds for testing, we are also performing
+some auxiliary builds that test packaging support to be up-to-date. We
+do that for:
+
+* a `docker` image
+* an `ubuntu-20.04` package
+* an `ubuntu-18.04` package
+* a `windows-msi` installer package
+
+Last but not least, we are also performing a coverage statistics collection
+job, which builds CBMC with coverage information on, and then runs the tests,
+finally uploading the results to [Codecov](https://about.codecov.io) which
+then updates pull request with coverage statistics after the job has finished
+running.

.github/workflows/doxygen-check.yaml

@@ -1,4 +1,4 @@
-name: doxygen-check
+name: Build Doxygen Documentation
 on:
   pull_request:
     branches: [ develop ]

.github/workflows/pull-request-checks.yaml

@@ -1,4 +1,4 @@
-name: pull-request-checks
+name: Build and Test CBMC
 on:
   pull_request:
     branches: [ develop ]