github
/
micropython
mirror of https://github.com/micropython/micropython.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
11651 Commits
3 Branches
62 Tags
504 MiB
Tree: 5e69926ea0
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '5e69926ea0'
${ noResults }
Commit Graph

6 Commits (5e69926ea06cc035e831fcb657e756764682e0b5)

Author SHA1 Message Date
Damien George 17dc86369f tools/metrics.py: Use OrderedDict when reading build log.
5 years ago
Damien George 1cc24cd39a tools/metrics.py: Don't build mpy-cross if not needed by any ports.
5 years ago
Damien George a4423570e2 tools/metrics.py: Add option to diff to error if delta above threshold.
5 years ago
Damien George 554c01fc25 tools/metrics.py: Use check_call instead of run to error out on error.
5 years ago
Damien George 69661f3343 all: Reformat C and Python source code with tools/codeformat.py.
5 years ago
Damien George a11e306227 tools: Add metrics.py script to build and compute port sizes/metrics.
5 years ago