Skip to content

Fix division by zero in WeightedRandomStreamRanker #131

Fix division by zero in WeightedRandomStreamRanker

Fix division by zero in WeightedRandomStreamRanker #131

Triggered via pull request June 17, 2024 18:52
Status Failure
Total duration 27s
Artifacts

mt.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Mutation testing with PHP 8.2
Process completed with exit code 2.
Mutation testing with PHP 8.2
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.