falso
/
mm
mirror of https://github.com/zeldaret/mm.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
mm/tools/warnings_count
History
Anghelo Carvajal 25afa196f6
Make Jenkins check if a PR will add new warnings (#150) 
* warning count

* update warnings

* Update warnings

* Use `tee`

* Suggestions of zbanks

* I hope this will fix it
 		2021-05-19 22:14:20 -04:00
..
.gitignore Make Jenkins check if a PR will add new warnings (#150) 2021-05-19 22:14:20 -04:00
check_new_warnings.sh Make Jenkins check if a PR will add new warnings (#150) 2021-05-19 22:14:20 -04:00
compare_warnings.py Make Jenkins check if a PR will add new warnings (#150) 2021-05-19 22:14:20 -04:00
update_current_warnings.sh Make Jenkins check if a PR will add new warnings (#150) 2021-05-19 22:14:20 -04:00
warnings_build_current.txt Make Jenkins check if a PR will add new warnings (#150) 2021-05-19 22:14:20 -04:00
warnings_setup_current.txt Make Jenkins check if a PR will add new warnings (#150) 2021-05-19 22:14:20 -04:00