diff options
| author | Anghelo Carvajal <angheloalf95@gmail.com> | 2021-05-19 22:14:20 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-19 22:14:20 -0400 |
| commit | 25afa196f6829c909cba0949e400d339b74f8980 (patch) | |
| tree | 60e680adb52ffc09cab1f99218cbbb8bc970290c /src/boot_O2 | |
| parent | 43ccf66c483671d74700d8594d915b6cf4997069 (diff) | |
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
Diffstat (limited to 'src/boot_O2')
0 files changed, 0 insertions, 0 deletions