Skip to content
Add "ready-to-merge" and "delegated" label

refactor: define the geometric distribution via a sum of Dirac masses #208812

Sign in to view logs

refactor: define the geometric distribution via a sum of Dirac masses

refactor: define the geometric distribution via a sum of Dirac masses #208812

Triggered via pull request March 10, 2026 10:21
@b-mehtab-mehta
created #36378
Status Skipped
Total duration 1s
Artifacts –

maintainer_bors.yml

on: pull_request_review_comment
Add ready-to-merge or delegated label
Add ready-to-merge or delegated label
Fit to window
Zoom out
Zoom in