diff options
| author | Joel Challis <git@zvecr.com> | 2021-11-14 23:06:22 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-14 23:06:22 +0000 |
| commit | ec0bb791f89c1ba53a9dcc3ca02ec6ad9823d2a1 (patch) | |
| tree | eac65380fc087cabb45ce842942efc3456bfa854 /util/vagrant | |
| parent | b785305080fe6454d1a5c8a818c538d9e693090f (diff) | |
Partially reinstate CI formatting process (#15155)
* Partially reinstate CI formatting process
* Fix exit code on clean run
* Fix exit code on clean run
Diffstat (limited to 'util/vagrant')
0 files changed, 0 insertions, 0 deletions