Skip to content
Build and run tests with Verific (Linux)

Reduce action spam when a PR source branch is on YosysHQ/yosys #140

Sign in to view logs

Reduce action spam when a PR source branch is on YosysHQ/yosys

Reduce action spam when a PR source branch is on YosysHQ/yosys #140

test-verific

test-verific
succeeded May 8, 2024 in 4m 13s