functional tests: run from make tests but not smtlib/rkt tests · YosysHQ/yosys@5a476a8

Re-run triggered September 4, 2024 14:12

mmicko

functional

Status Success

Total duration 14m 15s

Artifacts 1

test-verific.yml

on: push

Produced during runtime

Name	Size
cmd-ref-5a476a8d29c541d421d409a48a81f642de30b80e	2.78 MB