CI Push

Merge pull request #114 from zkFold/113-asterizm-add-flow-diagrams #43

Sign in to view logs

Triggered via push July 8, 2025 11:43

vlasin

main

Status Success

Total duration 16m 6s

Artifacts –

main-push.yml

on: push

Annotations

1 warning

on-main-update

• Redundant constraint: Ord (Rep i)