Skip to content

Fix order of keys and values in progress meter#467

Merged
devmotion merged 2 commits intomainfrom
devmotion-patch-1
Sep 10, 2025
Merged

Fix order of keys and values in progress meter#467
devmotion merged 2 commits intomainfrom
devmotion-patch-1

Conversation

@devmotion
Copy link
Copy Markdown
Member

As prior to d90910e and as done in other packages, IMO it is more natural to print "key: value" instead of "value: key".

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Sep 8, 2025

AdvancedHMC.jl documentation for PR #467 is available at:
https://TuringLang.github.io/AdvancedHMC.jl/previews/PR467/

@devmotion devmotion mentioned this pull request Sep 8, 2025
@codecov
Copy link
Copy Markdown

codecov Bot commented Sep 9, 2025

Codecov Report

❌ Patch coverage is 0% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 75.44%. Comparing base (2f5b6c1) to head (7a2f12e).
⚠️ Report is 2 commits behind head on main.

Files with missing lines Patch % Lines
src/sampler.jl 0.00% 1 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##             main     #467   +/-   ##
=======================================
  Coverage   75.44%   75.44%           
=======================================
  Files          21       21           
  Lines        1230     1230           
=======================================
  Hits          928      928           
  Misses        302      302           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@yebai
Copy link
Copy Markdown
Member

yebai commented Sep 10, 2025

Thanks @devmotion!

@devmotion devmotion enabled auto-merge (squash) September 10, 2025 10:58
@devmotion devmotion disabled auto-merge September 10, 2025 11:08
@devmotion devmotion merged commit 7290b91 into main Sep 10, 2025
19 of 20 checks passed
@devmotion devmotion deleted the devmotion-patch-1 branch September 10, 2025 11:08
@devmotion devmotion mentioned this pull request Sep 11, 2025
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