Rename coverage.yml to build.yml (and 'Coverage' to 'Build').

kaladay · kaladay · commit d165dd8ff1ab · 2021-01-14T14:34:41.000-06:00
The reason being that we still want a Build Badge.
The Coverage Badge is coming from coveralls.
There is a desire to have only a single Workflow.

To achieve this, the build.yml that builds AND sends to coveralls must be used as a Build Badge.
This is because the GithubActions will builds the Badges entirely based on the name provided by the Workflow.
The Workflow file itself is also renamed to be consistent with the name property within the Workflow.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,4 +1,4 @@
-name: Coverage
+name: Build
 
 on: [ push, pull_request, workflow_dispatch ]
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: Coverage`
	`1`	`+name: Build`
`2`	`2`
`3`	`3`	`on: [ push, pull_request, workflow_dispatch ]`
`4`	`4`