Add Zcb and Zcmp extensions DV #79
Triggered via pull request
December 23, 2025 11:36
SamuelRiedel
Status
Success
Total duration
1h 14m 53s
Artifacts
–
ci-formal.yml
on: pull_request
Run the Open-Source FV flow
1h 14m