Skip to content

Fix Raspberry ci#377

Merged
jessebraham merged 2 commits into
esp-rs:mainfrom
SergioGasquez:fix/raspberry-ci
Mar 28, 2023
Merged

Fix Raspberry ci#377
jessebraham merged 2 commits into
esp-rs:mainfrom
SergioGasquez:fix/raspberry-ci

Conversation

@SergioGasquez
Copy link
Copy Markdown
Member

No description provided.

Copy link
Copy Markdown
Member

@jessebraham jessebraham left a comment

Choose a reason for hiding this comment

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

Thanks for fixing this

@jessebraham jessebraham merged commit 259b5d9 into esp-rs:main Mar 28, 2023
@SergioGasquez SergioGasquez deleted the fix/raspberry-ci branch March 28, 2023 15:13
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