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