Skip to content

beta distribution #1640

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.

Sign up for GitHub

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

Jump to bottom
Open
wants to merge 4 commits into
base: master
Choose a base branch
from
Open

beta distribution #1640

wants to merge 4 commits into from

Conversation

@affeldt-aist
Copy link
Member

@affeldt-aist affeldt-aist commented Jun 5, 2025 •
edited
Loading

Motivation for this change
Checklist
  • added corresponding entries in CHANGELOG_UNRELEASED.md
  • added corresponding documentation in the headers

Reference: How to document

Merge policy

As a rule of thumb:

  • PRs with several commits that make sense individually and that
    all compile are preferentially merged into master.
  • PRs with disorganized commits are very likely to be squash-rebased.
Reminder to reviewers

@affeldt-aist affeldt-aist force-pushed the probability_20250605 branch from 02ba384 to c59f7db Compare June 18, 2025 19:25
@affeldt-aist
Copy link
Member Author

ping @hoheinzollern

@affeldt-aist
Copy link
Member Author

@hoheinzollern changelog and doc are complete (hopefully)

@affeldt-aist
Copy link
Member Author

ping @hoheinzollern

hoheinzollern
hoheinzollern suggested changes Oct 21, 2025
View reviewed changes
Copy link
Member

@hoheinzollern hoheinzollern left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I've yet to check the changelog, but please consider the comments below,

@affeldt-aist
Copy link
Member Author

Many thanks for the review. Most comments answered. Note that if this gets merged, it will be checked once again because the prob_lang PR (#1712) depends on it. It will therefore be rebased and this will be the occasion to detect more issues if any.

@affeldt-aist
Copy link
Member Author

(rebased on top of master, changelog does not seem broken)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@hoheinzollern hoheinzollern hoheinzollern requested changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@affeldt-aist @hoheinzollern