modified: .github/workflows/test-pr.yml#50

F-WRunTime wants to merge 2 commits intomasterruntimeverification/imp-semantics:masterfrom

fix/m2-1-testingruntimeverification/imp-semantics:fix/m2-1-testingCopy head branch name to clipboard