Skip to content

chore: add metrics example#1226

Merged
jcstein merged 2 commits intomainfrom
jcs/add-metrics
Nov 3, 2023
Merged

chore: add metrics example#1226
jcstein merged 2 commits intomainfrom
jcs/add-metrics

Conversation

@jcstein
Copy link
Copy Markdown
Member

@jcstein jcstein commented Oct 31, 2023

Overview

Checklist

  • New and updated code has appropriate documentation
  • New and updated code has new and/or updated testing
  • Required CI checks are passing
  • Visual proof for any user facing features like CLI or documentation updates
  • Linked issues closed with keywords

@jcstein jcstein requested review from Bidon15 and YazzyYaz October 31, 2023 15:59
@jcstein jcstein self-assigned this Oct 31, 2023
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Oct 31, 2023

PR Preview Action v1.4.4
🚀 Deployed preview to https://celestiaorg.github.io/docs/pr-preview/pr-1226/
on branch gh-pages at 2023-10-31 18:51 UTC

@jcstein jcstein merged commit 7507c2b into main Nov 3, 2023
@jcstein jcstein deleted the jcs/add-metrics branch November 3, 2023 11:59
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