internal/ci: fix glob of files to delete

Currently we hardcode the use of the .yml file extension.

Fix that by removing the hard coding, preferring the base
workflowFileExtension which is used elsewhere.

Signed-off-by: Paul Jolly <paul@myitcv.io>
Change-Id: I16751060361e48eb9ca5ff088da780339c9281a3
Dispatch-Trailer: {"type":"trybot","CL":1206456,"patchset":1,"ref":"refs/changes/56/1206456/1","targetBranch":"master"}

internal/ci/ci_tool.cue

@@ -19,6 +19,7 @@ import (
 	"encoding/yaml"
 	"tool/file"
 
+	"cuelang.org/go/internal/ci/base"
 	"cuelang.org/go/internal/ci/repo"
 	"cuelang.org/go/internal/ci/github"
 )
@@ -43,7 +44,7 @@ command: gen: {
 	workflows: {
 		remove: {
 			glob: file.Glob & {
-				glob: path.Join([_dir, "*.yml"], _goos)
+				glob: path.Join([_dir, "*" + base.workflowFileExtension], _goos)
 				files: [...string]
 			}
 			for _, _filename in glob.files {

internal/ci/github/workflows.cue

@@ -15,7 +15,7 @@
 // package github declares the workflows for this project.
 package github
 
-// Note: the name of the workflows (and hence the corresponding .yml filenames)
+// Note: the name of the workflows (and hence the corresponding .yaml filenames)
 // correspond to the environment variable names for gerritstatusupdater.
 // Therefore, this filename must only be change in combination with also
 // updating the environment in which gerritstatusupdater is running for this