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

Add issue ticket link to DistributionMeta #5355

Merged
merged 2 commits into from
Jan 18, 2022
Merged

Conversation

canyon289
Copy link
Member

Addresses #5353, not perfectly but better than nothing.

If someone wants to do better please feel free

@codecov
Copy link

codecov bot commented Jan 14, 2022

Codecov Report

Merging #5355 (aa712af) into main (1a0b1e9) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##             main    #5355   +/-   ##
=======================================
  Coverage   80.36%   80.36%           
=======================================
  Files          89       89           
  Lines       14805    14805           
=======================================
  Hits        11898    11898           
  Misses       2907     2907           
Impacted Files Coverage Δ
pymc/distributions/distribution.py 91.37% <ø> (ø)

@canyon289
Copy link
Member Author

canyon289 commented Jan 14, 2022

!precommit

What's the precommit magic bot for github?

@canyon289
Copy link
Member Author

/pre-commit run

@canyon289
Copy link
Member Author

/pre-commit-run

@michaelosthege michaelosthege merged commit ea776d6 into main Jan 18, 2022
@michaelosthege michaelosthege deleted the add_dist_meta_doc branch January 18, 2022 21:20
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