Add scripts to create a GitHub action that launches a Metrics regression
Created by: aimeepsutton
Using the scripts added in this PR, a regression will be launched on the Metrics platform in response to a push or pull request operation on the master branch of the core-v-verif repository. Additional customization of this GitHub action is possible.
Signed-off-by: Aimee Sutton aimee.sutton@metrics.ca