Test Failed
Push — feature/Wsystem-headers ( 0e83fd...102a83 )
by srz
03:21
created
3 files with issues
Count Path Last Found
2 tools/wandbox/iuwandbox.py
Comprehensibility Best Practice
1 tools/python/eval_line.py
Duplication
1 tools/xml2file/xml2file.py
Duplication