[WIP] Add CI for benchmark regression detection on PRs#182

Copilot wants to merge 1 commit intomasterProjectMagma/Magma:masterfrom

copilot/add-benchmark-regression-detectionProjectMagma/Magma:copilot/add-benchmark-regression-detectionCopy head branch name to clipboard