ci: run the suite once per PR, not twice per merge - #220

ci: run the suite once per PR, not twice per merge#220

eaitbrahim merged 1 commit into

mainCodeGateSoftware/keel:mainfrom

ci/single-run-per-prCodeGateSoftware/keel:ci/single-run-per-prCopy head branch name to clipboard