Skip to content
semgrep

Unroll typedefs in witness invariants #9410

Sign in to view logs

Unroll typedefs in witness invariants

Unroll typedefs in witness invariants #9410

Triggered via pull request March 4, 2024 13:50
@sim642sim642
synchronize #1375
witness-invariant-typedef
Status Success
Total duration 41s
Artifacts –

semgrep.yml

on: pull_request
semgrep
27s
semgrep
Fit to window
Zoom out
Zoom in