Adding log link to binary dist

[kgoldfeld]

No description provided.

[kgoldfeld]

@assignUser Not sure why the usual system checks did not run. Does something need to be updated?

[assignUser]

Huh, that's weird... I tried re-running a previous job to test that there is no issue with the tags for the runners or something but that seems fine. Just try and push another commit to trigger it again?

edit: I did that, it seems to work 🤷

[kgoldfeld]

Yes - checks have been triggered.

[kgoldfeld]

@assignUser Assuming it passes all the checks, are you OK with my merging this quite minor but useful change?

[github-actions]

This is how benchmark results would change (along with a 95% confidence interval in relative change) if 3978738 is merged into main:

• ✔️define_data: 17.3ms -> 17.3ms [-0.84%, +1.09%]
• ✔️dist_beta: 218ms -> 219ms [-2.2%, +3.58%]
• ✔️dist_binary: 8.73ms -> 8.7ms [-2.7%, +2.01%]
• ✔️dist_binomial: 13.2ms -> 13.2ms [-1.96%, +1.75%]
• ❗🐌dist_categorical: 57.7ms -> 58.6ms [+0.8%, +2.5%]
• ✔️dist_exponential: 8.86ms -> 8.83ms [-1.54%, +1.05%]
• ✔️dist_gamma: 16.3ms -> 16.3ms [-0.56%, +0.24%]
• ✔️dist_mixture: 232ms -> 229ms [-3.98%, +1.4%]
• ✔️dist_normal: 10.6ms -> 11.1ms [-6.46%, +16.41%]
• ✔️gen_all_dists: 50ms -> 49.8ms [-2.86%, +2.21%]
  Further explanation regarding interpretation and methodology can be found in the documentation.