Skip to content

[CI] Try to fix lint issues #9876

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 14, 2023
Merged

Conversation

aelovikov-intel
Copy link
Contributor

#9844 somehow caused problems with lint tasks when origin/sycl is newer than PR's merge base with it. I don't understand how that wasn't a problem before, but let's try to fix it.

While on it, start using sparse checkout to get
devops/actions/cached_checkout instead of "wget".

@aelovikov-intel aelovikov-intel temporarily deployed to aws June 14, 2023 15:39 — with GitHub Actions Inactive
intel#9844 somehow caused problems with
lint tasks when `origin/sycl` is newer than PR's merge base with it. I
don't understand how that wasn't a problem before, but let's try to fix
it.

While on it, start using sparse checkout to get
`devops/actions/cached_checkout` instead of "wget".
@aelovikov-intel aelovikov-intel temporarily deployed to aws June 14, 2023 16:00 — with GitHub Actions Inactive
@aelovikov-intel
Copy link
Contributor Author

@aelovikov-intel aelovikov-intel marked this pull request as ready for review June 14, 2023 16:00
@aelovikov-intel aelovikov-intel requested a review from a team as a code owner June 14, 2023 16:00
Copy link
Contributor

@steffenlarsen steffenlarsen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤞

@aelovikov-intel aelovikov-intel merged commit 1d0230a into intel:sycl Jun 14, 2023
@aelovikov-intel aelovikov-intel deleted the fix-lint branch June 14, 2023 16:04
fineg74 pushed a commit to fineg74/llvm that referenced this pull request Jun 15, 2023
intel#9844 somehow caused problems with
lint tasks when `origin/sycl` is newer than PR's merge base with it. I
don't understand how that wasn't a problem before, but let's try to fix
it.

While on it, start using sparse checkout to get
`devops/actions/cached_checkout` instead of "wget".
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants