Skip to content
Verify the router and its dependencies

Adapt to use the new integer type and to pass stricter overflow checks #2452

Sign in to view logs

Adapt to use the new integer type and to pass stricter overflow checks

Adapt to use the new integer type and to pass stricter overflow checks #2452

Triggered via pull request September 28, 2025 12:19
@jcp19jcp19
synchronize #407
fix-overflow-checks
Status Failure
Total duration 18s
Artifacts –

gobra.yml

on: pull_request
verify-third-party-libs
14s
verify-third-party-libs
verify-deps
10s
verify-deps
verify-router
13s
verify-router
Fit to window
Zoom out
Zoom in