Build and run tests with Verific (Linux)

alumacc: alternative cmp unification implementation #1913

Sign in to view logs

Triggered via push February 4, 2025 10:52

povik

povik/alumacc-cmp-contravariance

Status Success

Total duration 4m 1s

Artifacts –

test-verific.yml

on: push