Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

✨ Metrics proto proposal #1245

Merged
merged 1 commit into from
Sep 26, 2024
Merged

✨ Metrics proto proposal #1245

merged 1 commit into from
Sep 26, 2024

Conversation

Munklinde96
Copy link
Member

No description provided.

@Munklinde96 Munklinde96 force-pushed the metrics-proto branch 3 times, most recently from b967203 to 628cf8a Compare September 25, 2024 13:32
Copy link

📝 Docs preview ready at https://pr1245.docs.dev.rig.dev

proto/rig/api/v1/metrics/metrics.proto Outdated Show resolved Hide resolved
proto/rig/api/v1/metrics/metrics.proto Outdated Show resolved Hide resolved
proto/rig/api/v1/metrics/service.proto Outdated Show resolved Hide resolved
@Munklinde96 Munklinde96 force-pushed the metrics-proto branch 4 times, most recently from 79d485d to 8aae622 Compare September 25, 2024 14:21
Copy link

📝 Docs preview ready at https://pr1245.docs.dev.rig.dev

Copy link

📝 Docs preview ready at https://pr1245.docs.dev.rig.dev

@Munklinde96 Munklinde96 merged commit 8573f49 into main Sep 26, 2024
6 checks passed
@Munklinde96 Munklinde96 deleted the metrics-proto branch September 26, 2024 07:12
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