Skip to content

Widen Z3 verifier duration bounds to match google.protobuf.Duration. - #1436

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_1010948096
Nov 4, 2026
Merged

Widen Z3 verifier duration bounds to match google.protobuf.Duration.#1436
copybara-service[bot] merged 1 commit into
mainfrom
test_1010948096

Widen Z3 verifier duration bounds to match google.protobuf.Duration.

2d1e4db
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar