Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update Foundry ir profiles #224

Merged
merged 2 commits into from
Oct 1, 2024
Merged

Update Foundry ir profiles #224

merged 2 commits into from
Oct 1, 2024

Conversation

kevincheng96
Copy link
Collaborator

@kevincheng96 kevincheng96 commented Sep 30, 2024

This PR attempts to standardize the via-ir settings used throughout the repo. We set consistent configs for the ir Foundry profile in each of the sub-projects. In CI and the deploy scripts, we also switch to using the ir Foundry profile instead of relying on via-ir.

@kevincheng96 kevincheng96 changed the title Update Foundry ir profiles Update Foundry ir profiles Sep 30, 2024
@kevincheng96 kevincheng96 merged commit 7d4a98c into main Oct 1, 2024
4 checks passed
@kevincheng96 kevincheng96 deleted the kevin/update-ir-profiles branch October 1, 2024 15:20
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