Skip to content
indentation

Minimize unnecessary casts and check for overflows in witness invariants #13338

Sign in to view logs

Minimize unnecessary casts and check for overflows in witness invariants

Minimize unnecessary casts and check for overflows in witness invariants #13338

Triggered via pull request November 6, 2025 14:35
@sim642sim642
synchronize #1665
invariant-check-oveflows
Status Success
Total duration 1m 55s
Artifacts –

indentation.yml

on: pull_request
Matrix: indentation
Fit to window
Zoom out
Zoom in