Skip to content

Conversation

@DvirDukhan
Copy link

Describe the changes in the pull request

A clear and concise description of what the PR is solving.

Which issues this PR fixes

  1. #...
  2. MOD...

Main objects this PR modified

  1. ...
  2. ...

Mark if applicable

  • This PR introduces API changes
  • This PR introduces serialization changes

@DvirDukhan DvirDukhan added the arm label May 24, 2023
@DvirDukhan DvirDukhan merged commit de47d65 into main May 24, 2023
@DvirDukhan DvirDukhan deleted the fix_arm_build branch May 24, 2023 18:29
DvirDukhan pushed a commit that referenced this pull request May 24, 2023
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