Skip to content

drt: make check_drc into a hidden command (issue #8123)#8130

Merged
maliberty merged 1 commit intoThe-OpenROAD-Project:masterfrom
The-OpenROAD-Project-staging:drt-hide-check-drc
Aug 27, 2025
Merged

drt: make check_drc into a hidden command (issue #8123)#8130
maliberty merged 1 commit intoThe-OpenROAD-Project:masterfrom
The-OpenROAD-Project-staging:drt-hide-check-drc

Conversation

@openroad-ci
Copy link
Collaborator

No description provided.

…#8123)

Signed-off-by: Matt Liberty <mliberty@precisioninno.com>
@github-actions
Copy link
Contributor

clang-tidy review says "All clean, LGTM! 👍"

Copy link
Member

@maliberty maliberty left a comment

Choose a reason for hiding this comment

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

@maliberty maliberty enabled auto-merge August 27, 2025 16:31
@maliberty maliberty disabled auto-merge August 27, 2025 18:29
@maliberty maliberty merged commit 79ee386 into The-OpenROAD-Project:master Aug 27, 2025
10 of 11 checks passed
@maliberty maliberty deleted the drt-hide-check-drc branch August 27, 2025 18:29
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