Allow kore-proof-trace to display label and location info for improve debugging if a kore definition file is given
#42
Robertorosmaninhomaster-pr.yml
on: pull_request
Change base to develop branch
10s