Fixing SC mode, enabling it with parallel branches, cleaning up trigg… #942

Triggered via push June 27, 2023 15:24

meilers_fix_z3_params

Status Success

Total duration 12m 47s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push

Produced during runtime

Name	Size
test-and-assemble Expired	33 MB