fix(ci): run CI on pull requests#21

TWal wants to merge 1 commit intomainREPROSEC/dolev-yao-star-tutorial-code:mainfrom

twal/ci_on_pull_requestREPROSEC/dolev-yao-star-tutorial-code:twal/ci_on_pull_requestCopy head branch name to clipboard