Skip to content
Check for copyright header

fix: avoid SIGFPE on x86_64 for signed integer division overflow #21134

Sign in to view logs

fix: avoid SIGFPE on x86_64 for signed integer division overflow

fix: avoid SIGFPE on x86_64 for signed integer division overflow #21134

Triggered via pull request December 11, 2025 23:46
@kim-emkim-em
opened #11624
fix-sint-div-overflow
Status Success
Total duration 40s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
37s
check-lean-files
Fit to window
Zoom out
Zoom in