Create proof_programs symbolic links in deps target
#3556
fmoletta
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
deps target
#3556