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

MODULE: Use upstream bazel-orfs #30

Merged
merged 2 commits into from
Apr 16, 2024

Conversation

lpawelcz
Copy link
Contributor

@lpawelcz lpawelcz commented Apr 11, 2024

Pin bazel-orfs dependency to upstream repository. This is a follow up to #29.

CC @oharboe

@oharboe
Copy link
Collaborator

oharboe commented Apr 11, 2024

@lpawelcz I'll hold off on this until I finish local testing with the two merged pull requests.

@lpawelcz lpawelcz force-pushed the use-upstream-bazel-orfs branch from 5a54844 to 9c5e33c Compare April 16, 2024 13:49
@oharboe oharboe merged commit 5e8c98e into The-OpenROAD-Project:main Apr 16, 2024
3 of 6 checks passed
@lpawelcz lpawelcz deleted the use-upstream-bazel-orfs branch April 16, 2024 14:33
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