aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2020-12-14tools/ci.sh: Put echo of CI path in a separate function.Damien George
2020-11-30github/workflows: Run unix and qemu-arm workflows when tests change.Damien George
2020-11-29github/workflows: Add workflows for all CI tasks, builds and tests.Damien George
2020-06-18github: Add FUNDING.yml file pointing to micropython GitHub sponsorship.Damien George
2020-06-05github: Add GitHub action to build docs.David Lechner