Fix Pull Request CI branch target #71
Description
Currently, we require a pull request to have a successful CI build prior to merging. However, it always builds dev rather than the branch targeted by the pull request.
{{ message }}
Currently, we require a pull request to have a successful CI build prior to merging. However, it always builds dev rather than the branch targeted by the pull request.