diff options
| author | Damien George <damien.p.george@gmail.com> | 2020-04-19 16:14:01 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2020-04-22 14:02:14 +1000 |
| commit | a4423570e2421c61886e7e28333298042bb349a2 (patch) | |
| tree | dc4c4c36f9b6bdfac2dacfc41a1bc95fb86fae23 /docs/library/esp32.rst | |
| parent | 388d419ba39b061923d2568814195e8bf73330d4 (diff) | |
tools/metrics.py: Add option to diff to error if delta above threshold.
Useful for things like CI where the size check is automated.
Diffstat (limited to 'docs/library/esp32.rst')
0 files changed, 0 insertions, 0 deletions