Rename check_builtins.yml job from "CI" to "check_builtins" (#603)

fingolfin · web-flow · commit 2979a0d1c686 · 2024-07-24T12:23:42.000+02:00
It is rather confusing that https://github.com/JuliaDebug/JuliaInterpreter.jl/actions/workflows/check_builtins.yml lists two "CI" workflows which do really different things.
diff --git a/.github/workflows/check_builtins.yml b/.github/workflows/check_builtins.yml
@@ -1,4 +1,4 @@
-name: CI
+name: check_builtins
 on:
   pull_request:
   push:

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-name: CI`
	`1`	`+name: check_builtins`
`2`	`2`	`on:`
`3`	`3`	`pull_request:`
`4`	`4`	`push:`