diff options
Diffstat (limited to '.github/workflows/code_size.yml')
| -rw-r--r-- | .github/workflows/code_size.yml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/.github/workflows/code_size.yml b/.github/workflows/code_size.yml new file mode 100644 index 000000000..dd759a4f3 --- /dev/null +++ b/.github/workflows/code_size.yml @@ -0,0 +1,25 @@ +name: Check code size + +on: + push: + pull_request: + paths: + - '.github/workflows/*.yml' + - 'tools/**' + - 'py/**' + - 'extmod/**' + - 'lib/**' + - 'ports/bare-arm/**' + - 'ports/minimal/**' + +jobs: + build: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - name: Install packages + run: source tools/ci.sh && ci_code_size_setup + - name: Build + run: source tools/ci.sh && ci_code_size_build + - name: Compute code size difference + run: tools/metrics.py diff --error-threshold 0 ~/size0 ~/size1 |