Ibex OSS Formal CI

[syn] TCL update of comments #192

Sign in to view logs

Triggered via pull request June 11, 2026 21:19

marnovandermaas

opened #2451

marnovandermaas-patch-2

Status Success

Total duration 1h 43m 44s

Artifacts –

ci-formal.yml

on: pull_request

Run the Open-Source FV flow