Build and run tests with Verific (Linux)

tests: remove -seq 1 from sat with -tempinduct where possible #27

Sign in to view logs

Triggered via push October 3, 2024 14:40

george/sat_seq_tests

Status Success

Total duration 19s

Artifacts –

test-verific.yml

on: push