Skip to content

Conversation

@jcarolinares
Copy link
Contributor

@jcarolinares jcarolinares commented Jul 7, 2023

What This PR Changes

  • (Please explain here why you created the pull request and specify what it changes)

Contribution Guidelines

@jcarolinares
Copy link
Contributor Author

jcarolinares commented Jul 7, 2023

two timeouts @jhansson-ard so this test won't work just FYI :)

image

@jhansson-ard jhansson-ard added arduino Bugs and fixes added by the Arduino Team infrastructure Fixes and updates to the infrastructure of the repo labels Jul 12, 2023
@jcarolinares
Copy link
Contributor Author

Closing the PR, test was not working

We will investigate in the future

@jhansson-ard
Copy link
Contributor

jhansson-ard commented Jul 19, 2023

@jcarolinares thank you! should we delete the branch as well? 🌞

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

arduino Bugs and fixes added by the Arduino Team infrastructure Fixes and updates to the infrastructure of the repo

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants