[GitHub] [nuttx] gustavonihei commented on pull request #7903: ci: Force reinstall of python tools to workaround GitHub cache issue

[GitBox]

gustavonihei commented on PR #7903:
URL: https://github.com/apache/nuttx/pull/7903#issuecomment-1355565601

   > First successful CI run should save the tools in GitHub Cache. Then we 
shall trigger a second run for testing if after the cache is restored the build 
passes again.
   
   CI passes successfully after caching on the first run: 
https://github.com/apache/nuttx/actions/runs/3716124959/jobs/6302131436
   
   
![image](https://user-images.githubusercontent.com/38959758/208184406-fa9aeb2a-69c2-4c86-a32c-2305322c86bf.png)
   
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org