Build and run tests with Verific (Linux)

New aiger backend #1006

Sign in to view logs

Triggered via pull request September 18, 2024 14:59

povik

synchronize #4593

povik:aiger2

Status Success

Total duration 15h 13m 8s

Artifacts –

test-verific.yml

on: pull_request