Skip to content
Back to pull request #1375

Unroll typedefs in witness invariants #9736

Sign in to view logs

Unroll typedefs in witness invariants

Unroll typedefs in witness invariants #9736

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

indentation.yml

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