4 commits

Author	SHA1	Message	Date
Ralf Jung	5e19350a4c	better lint names	2020-02-18 22:49:47 +01:00
Mazdak Farrokhzad	b4420c8f5c	rework run-fail and support check,build-fail	2019-12-21 22:16:00 +01:00
Esteban Küber	64469ac344	review comments	2019-08-06 11:23:32 -07:00
Esteban Küber	ce8510a214	fix tests	2019-08-05 19:26:55 -07:00