Skip to content
Quint

qmdb/sync/gaps: clamp checked_add to range.end instead of unwrap-panic #19509

Sign in to view logs

qmdb/sync/gaps: clamp checked_add to range.end instead of unwrap-panic

qmdb/sync/gaps: clamp checked_add to range.end instead of unwrap-panic #19509

This workflow is awaiting approval from a maintainer in #3706
Triggered via pull request May 11, 2026 17:47
@SAY-5SAY-5
synchronize #3706
SAY-5:say5/gaps-checked-add-clamp-2068
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #3706

quint.yml

on: pull_request
Tests
Tests
Fit to window
Zoom out
Zoom in