Skip to content
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

fix(quick-open-task): fix build task filtering #12918

Closed
wants to merge 1 commit into from

Conversation

VGRSTM
Copy link

@VGRSTM VGRSTM commented Sep 18, 2023

What it does

Fix #12917

Contributed by STMicroelectronics
Signed-off-by: Vincent GRENET [email protected]

How to test

Create a build type task and check it is promoted relying on Task: Run Build Task command

Review checklist

Reminder for reviewers

Contributed by STMicroelectronics
Signed-off-by: Vincent GRENET <[email protected]>
@VGRSTM VGRSTM force-pushed the pr/vgrstm-bugfix-12917 branch from 52505f5 to 804304d Compare September 18, 2023 10:23
@VGRSTM VGRSTM marked this pull request as ready for review September 18, 2023 10:59
@VGRSTM
Copy link
Author

VGRSTM commented Sep 18, 2023

@vince-fugnitto sounds you have triggered ACI checks. One is failing for a reason I'm not mastering (timeout ?). I've not found way to rerun ... feel free I rely on you. Thanks

@msujew msujew added the tasks issues related to the task system label Sep 28, 2023
@JonasHelming JonasHelming requested a review from planger November 9, 2023 10:23
@planger
Copy link
Contributor

planger commented Nov 9, 2023

On it, just need to verify how to reproduce the original bug: #12917 (comment)

@planger
Copy link
Contributor

planger commented Nov 13, 2023

I pushed #13075 as a fix for the underlying issue. So I don't think this PR is still needed. Please let me know, if this isn't correct.

@planger planger closed this Nov 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
tasks issues related to the task system
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

Run build task is failing to collect tasks
3 participants