Skip to content
Kani Format Check

Remove the overflow checks for wrapping_offset #8388

Sign in to view logs

Remove the overflow checks for wrapping_offset

Remove the overflow checks for wrapping_offset #8388

Triggered via pull request October 9, 2024 22:45
@zhassan-awszhassan-aws
opened #3589
zhassan-aws:fix-iss3582
Status Success
Total duration 3m 30s
Artifacts –

format-check.yml

on: pull_request
format-check
5s
format-check
clippy-check
3m 21s
clippy-check
Fit to window
Zoom out
Zoom in