solve_sig_wf tactic

1 job for ci/case-mt7601u in 30 minutes and 48 seconds (queued for 7 seconds)