Skip to content

Conversation

@stefanprodan
Copy link
Member

@stefanprodan stefanprodan added the area/ci CI related issues and pull requests label Sep 21, 2020
@stefanprodan stefanprodan merged commit e6ce5fe into master Sep 21, 2020
@stefanprodan stefanprodan deleted the arm-v7 branch September 21, 2020 07:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/ci CI related issues and pull requests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants