summaryrefslogtreecommitdiff
path: root/util/vagrant
diff options
context:
space:
mode:
authorJoel Challis <git@zvecr.com>2021-11-14 23:06:22 +0000
committerGitHub <noreply@github.com>2021-11-14 23:06:22 +0000
commitec0bb791f89c1ba53a9dcc3ca02ec6ad9823d2a1 (patch)
treeeac65380fc087cabb45ce842942efc3456bfa854 /util/vagrant
parentb785305080fe6454d1a5c8a818c538d9e693090f (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