Skip to content

[CI] chore: normalize ci runner naming#488

Merged
c-fteixeira merged 2 commits intomainfrom
ft/ci-normalization
Jan 16, 2025
Merged

[CI] chore: normalize ci runner naming#488
c-fteixeira merged 2 commits intomainfrom
ft/ci-normalization

Conversation

@c-fteixeira
Copy link
Copy Markdown
Collaborator

Normalizing names and aligning runners with what is currently available.

@vadiklyutiy
Copy link
Copy Markdown
Collaborator

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

@c-fteixeira
Copy link
Copy Markdown
Collaborator Author

@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
Copy link
Copy Markdown
Collaborator

@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
Copy link
Copy Markdown
Collaborator

in other words all differences are outside the repo code?

@c-fteixeira
Copy link
Copy Markdown
Collaborator Author

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
Copy link
Copy Markdown
Collaborator

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.

@c-fteixeira c-fteixeira merged commit 7f4039b into main Jan 16, 2025
@c-fteixeira c-fteixeira deleted the ft/ci-normalization branch February 1, 2025 19:28
AndreSlavescu pushed a commit to AndreSlavescu/hidet that referenced this pull request May 31, 2025
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 `%`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants