Skip to content

fix: edge case divide by zero #13930

fix: edge case divide by zero

fix: edge case divide by zero #13930

Triggered via pull request June 18, 2024 11:20
Status Success
Total duration 9m 56s
Artifacts

lint.yml

on: pull_request
Matrix: clippy-binaries
Matrix: msrv
lint success
3s
lint success
Fit to window
Zoom out
Zoom in