Build and run tests with Verific (Linux)

alumacc: alternative cmp unification implementation #1914

Sign in to view logs

Re-run triggered February 4, 2025 12:07

povik

#4000

adrianparvino:alumacc-cmp-contravariance

Status Success

Total duration 5m 27s

Artifacts –

test-verific.yml

on: pull_request