Skip to content

chore(pio): disable build #2100

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Aug 10, 2023
Merged

chore(pio): disable build #2100

merged 1 commit into from
Aug 10, 2023

Conversation

fpistm
Copy link
Member

@fpistm fpistm commented Aug 10, 2023 •
edited
Loading

Since #2099, pio build failed as it does not used the specified CMSIS version.

/cc @valeros

@fpistm
chore(pio): disable build
a33fe92 
Since stm32duino#2099, pio build failed as it does not used the
specified CMSIS version.

Signed-off-by: Frederic Pillon <[email protected]>
@fpistm fpistm added the fix 🩹 Bug fix label Aug 10, 2023
@fpistm fpistm merged commit 01e4f0c into stm32duino:main Aug 10, 2023
@fpistm fpistm deleted the fix_pio_cmsis branch August 10, 2023 14:41
@valeros
Copy link
Contributor

valeros commented Aug 14, 2023

Hi @fpistm I've logged the issue into our development queue, but I want to be upfront, right now I don't have an exact timeline on when we'll have this sorted out. Considering the potential impact of the issue on your CI scripts and the importance of maintaining a smooth workflow, I would recommend keeping PlatformIO integration disabled within your CI pipelines.

@fpistm
Copy link
Member Author

fpistm commented Aug 28, 2023

into our development queue, but I want to be upfront, right now I don't have an exact timeline on when we'll have this sorted out. Considering the potential impact of the issue on your CI scripts and the importance of maintaining a smooth workflow, I would recommend keeping PlatformIO integration disabled within your CI pipelines.

Thanks @valeros (sorry for the delay, I was on vacation 2 weeks).
No worry, let me know when you could do it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
fix 🩹 Bug fix
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@fpistm @valeros