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

bump nim-metrics to fix XDeclaredButNotUsed hints #5650

Merged
merged 1 commit into from
Dec 5, 2023
Merged

bump nim-metrics to fix XDeclaredButNotUsed hints #5650

merged 1 commit into from
Dec 5, 2023

Conversation

tersec
Copy link
Contributor

@tersec tersec commented Dec 5, 2023

@tersec tersec enabled auto-merge (squash) December 5, 2023 20:56
Copy link

github-actions bot commented Dec 5, 2023

Unit Test Results

         9 files  ±0    1 098 suites  ±0   27m 53s ⏱️ +25s
  3 965 tests ±0    3 618 ✔️ ±0  347 💤 ±0  0 ±0 
16 090 runs  ±0  15 692 ✔️ ±0  398 💤 ±0  0 ±0 

Results for commit 3218129. ± Comparison against base commit c36d2aa.

@tersec tersec merged commit e4cc3ad into unstable Dec 5, 2023
8 checks passed
@tersec tersec deleted the gMp branch December 5, 2023 22:48
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.

1 participant