refactor: changing the Pull Requerst workflow to handle pull_request_target event properly#199

Merged

tmeckel merged 1 commit intomainfrom refactor/pull-request-workflow

Jun 13, 2024

+20-2

Commits on Jun 12, 2024

refactor: updating Pull Request GitHub workflow to cope with an issue of actions/checkout which checks out the main branch instead of the Pull Request branch
tmeckel
committed