diff options
author | Peter Hutterer <peter.hutterer@who-t.net> | 2019-11-26 12:59:49 +1000 |
---|---|---|
committer | Peter Hutterer <peter.hutterer@who-t.net> | 2019-11-26 13:45:43 +1000 |
commit | 77e49674e2344e2c6ffc4b76ec4d33f97a40a73e (patch) | |
tree | 52acff444c1d237ba53038b6eb559a3a955f19cf /symbols | |
parent | cad889e050c8e5c800a2dfd0e33a71dcc80f8901 (diff) |
gitlab CI: add an extra job to validate the installed XML files
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
Diffstat (limited to 'symbols')
0 files changed, 0 insertions, 0 deletions