Skip to content
This repository has been archived by the owner on Feb 1, 2024. It is now read-only.

Add goarm to metrics (closes #567) #579

Merged
merged 5 commits into from
Nov 12, 2020

Conversation

debnil
Copy link
Contributor

@debnil debnil commented Nov 10, 2020

This PR adds goarm to our tracked metrics, which closes #567.

@debnil debnil requested a review from nikhilsaraf as a code owner November 10, 2020 01:30
scripts/build.sh Outdated Show resolved Hide resolved
@debnil debnil requested a review from nikhilsaraf November 12, 2020 16:58
Copy link
Contributor

@nikhilsaraf nikhilsaraf left a comment

Choose a reason for hiding this comment

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

lgtm, thanks! 🚢

@nikhilsaraf nikhilsaraf merged commit 8f4d797 into stellar-deprecated:master Nov 12, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[1](2) add GOARM versions in metrics, or remove TODO and explain in comment why its missing
2 participants