[CI] chore: normalize ci runner naming

[c-fteixeira]

Normalizing names and aligning runners with what is currently available.

[vadiklyutiy]

@c-fteixeira is it exactly the same that we have in CentML/hidet?

[c-fteixeira]

@c-fteixeira is it exactly the same that we have in CentML/hidet?

Same definition on the same type of hardware, but using independent nodes.
The hardware itself never overlaps to avoid security implications that could raise.

[vadiklyutiy]

@c-fteixeira is it exactly the same that we have in CentML/hidet?

Same definition on the same type of hardware, but using independent nodes. The hardware itself never overlaps to avoid security implications that could raise.

let me clarify. I am worry about sync repos. Both sides. So, is the code of the action byte-2-byte the same in both repos?

[vadiklyutiy]

in other words all differences are outside the repo code?

[c-fteixeira]

in other words all differences are outside the repo code?

not exact, i've removed these choices, everything else is the same.
If you prefer, we can leave them, but right now, they would not work.

[vadiklyutiy]

in other words all differences are outside the repo code?

not exact, i've removed these choices, everything else is the same. If you prefer, we can leave them, but right now, they would not work.

May we leave this choices, but don't have runner for them? If somebody choose, it'll fail and this is ok. Just to be consistent between repos.