denihs 8c09b9fed2 Improve CI script to handle PR branch cloning ...

- Modify the cloning command to check if the build is for a PR
- Extract the PR number from the CIRCLE_PULL_REQUEST URL
- Fetch the branch associated with the PR using the GitHub API
- Clone the repository using the PR branch
- Fallback to default behavior for regular branch builds

2024-07-31 10:44:59 -04:00

..

config.yml

Improve CI script to handle PR branch cloning

2024-07-31 10:44:59 -04:00