dist/tools/flatc: cloning of the tool sporadically fails on the CI #14380
Labels
Area: CI
Area: Continuous Integration of RIOT components
Area: tools
Area: Supplementary tools
Type: bug
The issue reports a bug / The PR fixes a bug (including spelling errors)
Milestone
Description
cloning of the code for dist/tools/flatc sometimes fails with a "fatal: destination path already exists and is not an empty directory" error on Murdock. This causes sporadic build failures on unrelated PRs. My gut feeling tells me that #14289 is probably to blame and that some tuning is required for the flatc repo clone.
Steps to reproduce the issue
Hard to reproduce, but it shows up once every so often on the CI. Could be a race condition on the CI.
Shows up here and here
Expected results
Murdock shows green
Actual results
Murdock fails on the flatbuffers test:
Versions
See Murdock :)
The text was updated successfully, but these errors were encountered: