Closed sklgromek closed 2 years ago
We are using Github Secrets in CI, so we should use pull_request_target trigger to have them passed to PR from forked repositories. This should be done as requested in the comment in https://github.com/magma/magma/issues/12855#issuecomment-1149883837
pull_request_target
We are using Github Secrets in CI, so we should use
pull_request_target
trigger to have them passed to PR from forked repositories. This should be done as requested in the comment in https://github.com/magma/magma/issues/12855#issuecomment-1149883837