-
Notifications
You must be signed in to change notification settings - Fork 198
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Changes look good.
Did you test the build with the optional features enabled?
Also note - the z3-sys
crate build is quite slow, so we'll notice quickly if build artifact caching isn't working.
I built it locally. I've not added it to CICD, though I'll do that now.
|
This PR is blocked by #671 |
Hello @bmc-msft! Because this pull request has the p.s. you can customize the way I help with merging this pull request, such as holding this pull request until a specific person approves. Simply @mention me (
|
Adds telemetry fields for Salvo.
This PR should not be merged until approved by CELA.
Note: This PR includes #586