diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-05-10 09:44:35 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-05-12 13:56:49 +0200 |
| commit | 4d7336e70f4a2d284f774958428c082c6c708cb3 (patch) | |
| tree | 49f1e48218cedc92c132f92ac4b10532cfc8088f /editor | |
| parent | 9deaac5c60b37317fddbcb7e5be3c6c5394bb761 (diff) | |
CI: Skip codespell check if `CHANGED_FILES` is empty
This can happen when only thirdparty files are changed, since we grep them out.
Re-add `bin` and `thirdparty` to the skip list for good measure.
(cherry picked from commit c7a5ce656cb6cb7727c5ebd7616ebc1a8fd0bdad)
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions