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

support for meta priors #226

Merged
merged 1 commit into from
Jan 2, 2023
Merged

support for meta priors #226

merged 1 commit into from
Jan 2, 2023

Conversation

dehann
Copy link
Member

@dehann dehann commented Jan 2, 2023

No description provided.

@dehann dehann self-assigned this Jan 2, 2023
@dehann dehann added enhancement New feature or request downstream labels Jan 2, 2023
@dehann dehann added this to the v0.6.2 milestone Jan 2, 2023
@codecov-commenter
Copy link

Codecov Report

Merging #226 (f3f81e5) into master (249e9dc) will decrease coverage by 0.14%.
The diff coverage is 0.00%.

@@            Coverage Diff             @@
##           master     #226      +/-   ##
==========================================
- Coverage   54.53%   54.39%   -0.15%     
==========================================
  Files          16       16              
  Lines         761      763       +2     
==========================================
  Hits          415      415              
- Misses        346      348       +2     
Impacted Files Coverage Δ
src/Interface.jl 72.28% <0.00%> (-1.79%) ⬇️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@dehann dehann merged commit 22dddbe into master Jan 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
downstream enhancement New feature or request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

None yet

2 participants