diff options
| author | Damien George <damien@micropython.org> | 2021-01-21 19:24:12 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-01-30 00:42:29 +1100 |
| commit | b8f4c623f9002099b0910ac873ef9e3acbcf428c (patch) | |
| tree | ae438e131403725bfdae8d9d4fce07e0ecc47b56 /tools/verifygitlog.py | |
| parent | 469345e7285128739e2934e7934e107ffda79fc1 (diff) | |
github/workflows: Add CI workflow for rp2 port.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tools/verifygitlog.py')
0 files changed, 0 insertions, 0 deletions