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

[BOT] Update magic #1914

Merged
merged 1 commit into from
Jul 25, 2023

Conversation

openlane-bot
Copy link
Collaborator

This is an automated PR.

See the individual commits for details.

@openlane-bot openlane-bot force-pushed the magic-update-branch branch 2 times, most recently from 1968f3a to c5d0f56 Compare July 22, 2023 00:03
magic -> 0afe4d87d4aacfbbb2659129a1858a22d216a920
Copy link
Collaborator

@donn donn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Merging to avoid bug with 8.3.412-8.3.415.

@donn donn merged commit 01e6723 into The-OpenROAD-Project:master Jul 25, 2023
28 checks passed
@donn donn deleted the magic-update-branch branch July 25, 2023 10:53
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