[CI] chore: normalize ci runner naming#488
Conversation
|
@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. |
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? |
|
in other words all differences are outside the repo code? |
not exact, i've removed these choices, everything else is the same. |
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. |
Additional changes to indexes optimization: - During manual checking of IR dump, found one issue with `Poli` class. Fix it - Support of `Expr` that contain `/` and `%`
Normalizing names and aligning runners with what is currently available.