diff options
| author |   Dave Wallace <dwallacelf@gmail.com> | 2024-03-14 21:41:00 -0400 |
|---|---|---|
| committer | Dave Wallace <dwallacelf@gmail.com> | 2024-04-08 22:43:41 +0000 |
| commit | 401b53d939c1bba191c8e49daa0ccc1c9c23422c (patch) | |
| tree | f200b3fa5c298e96ace5017849487fd40c802ad3 /extras/vagrant/WELCOME | |
| parent | 6b287b53011208bc242040962056360c1ff54a6c (diff) | |
misc: in crcchecker.py, don't check for uncommitted changes in CI
Type: fix
Change-Id: I63260a953e54518b3084b62fccdb4af81315b229
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
(cherry picked from commit 3a0d7d2c95e8b8087c20b99fed5bcf62fac027d9)
Diffstat (limited to 'extras/vagrant/WELCOME')
0 files changed, 0 insertions, 0 deletions