Marc Herbert cdee91d01e .github: rename workflow from "Github Action CI" to "Github Actions" ... The singular "Action" makes it look like our workflow is an action. The plural "Github Actions" is at least the name of the product; so it's vague enough. A technically acccurate name would be "Main workflow" but we have only one so it would be useless plus we're next to "Jenkins" and others and want to stay consistent with them. Signed-off-by: Marc Herbert <marc.herbert@intel.com>		2021-01-28 13:20:22 +00:00
..
pull-request.yml	.github: rename workflow from "Github Action CI" to "Github Actions"	2021-01-28 13:20:22 +00:00