Create proof_programs symbolic links in deps target
#2645
fmoletta
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
hyperfine.yml
on: pull_request
Matrix: build-binaries
Matrix: build-programs
Matrix: run-hyperfine