Skip to content

Narrow division to int when modulo is known to be zero #807

Narrow division to int when modulo is known to be zero

Narrow division to int when modulo is known to be zero #807

Triggered via pull request May 26, 2026 19:34
@staabmstaabm
closed #5757
Status Success
Total duration 20s
Artifacts

close-issues-on-merge.yml

on: pull_request_target
Close linked issues
15s
Close linked issues
Fit to window
Zoom out
Zoom in