Merge pull request #577 from muzimuzhi/check_run_id-is-number

Fix type of `job.check_run_id` property

Author: rhysd

expr_sema.go

@@ -252,7 +252,7 @@ var BuiltinGlobalVariableTypes = map[string]ExprType{
 	"env": NewMapObjectType(StringType{}), // env.<env_name>
 	// https://docs.github.com/en/actions/learn-github-actions/contexts#job-context
 	"job": NewStrictObjectType(map[string]ExprType{
-		"check_run_id": StringType{},
+		"check_run_id": NumberType{},
 		"container": NewStrictObjectType(map[string]ExprType{
 			"id":      StringType{},
 			"network": StringType{},