Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This PR also enabled the CI to run on commits pushed to master. Modified the running behavior on the PRs, to only limit the CI to branches that are ready to be merged on master. cc @dmitry-markin Signed-off-by: Alexandru Vasile <[email protected]>
- Loading branch information