chore(verify): drop static-link-z3 from the default build/CI path (#553 steps 3/4) - #621

chore(verify): drop static-link-z3 from the default build/CI path (#553 steps 3/4)#621

avrabe merged 1 commit into

mainpulseengine/synth:mainfrom

chore/553-drop-static-z3-defaultpulseengine/synth:chore/553-drop-static-z3-defaultCopy head branch name to clipboard