You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix lint by fetching enough commits (number of commits in pull request plus one) and using GITHUB_SHA that corresponds to sycl HEAD for pull_request_target instead of GITHUB_SHA^1 that corresponds to the first parent (previous state of sycl branch) of merge commit for pull_request used before.
0 commit comments