[CI] More cleanup for the lint task #10073
Conversation
|
Tested via https://github.com/intel/llvm/actions/runs/5381209434 + manual monitoring of the filesystem on the runner. |
| const path = process.env.GITHUB_WORKSPACE + '/*'; | ||
| console.log('Cleaning ' + path) | ||
| require('child_process').execSync('rm -rf ' + path); | ||
| require('child_process').execSync('rm -rf ' + process.env.GITHUB_WORKSPACE + '/.git'); |
There was a problem hiding this comment.
Don't we want to remove all hidden files/directories and not just .git?
There was a problem hiding this comment.
Ideally, yes, but I don't know how to do that (or if any task creates such files). I needed this change urgently for #10074. We can follow up with a generic solution later.
There was a problem hiding this comment.
using const path = process.env.GITHUB_WORKSPACE + '/{*,.*}'; at line 1 should work.
There was a problem hiding this comment.
I will prepare a PR with this tomorrow - want to give #10074 more time to expose any potential issues post-commit on its own (although I hope that none would appear, of course).
No description provided.