Skip to content

Conversation

silabs-oysteink
Copy link
Contributor

SEC clean

@silabs-oysteink silabs-oysteink added the Component:RTL For issues in the RTL (e.g. for files in the rtl directory) label Oct 2, 2023
Copy link
Contributor

@silabs-robin silabs-robin left a comment

Choose a reason for hiding this comment

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

Does hello world pass and is formal prop still functional?

@silabs-oysteink
Copy link
Contributor Author

ci_check passes and formal prop seems good to me.

@Silabs-ArjanB Silabs-ArjanB merged commit 3950a86 into openhwgroup:master Oct 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants