37c2f507a0
github/workflows: Add workflow to verify commit message format.
...
Using the new tools/verifygitlog.py script.
2021-01-30 14:09:21 +11:00
b8f4c623f9
github/workflows: Add CI workflow for rp2 port.
...
Signed-off-by: Damien George <damien@micropython.org>
2021-01-30 00:42:29 +11:00
0a079155e4
github/workflows: Fix code-size CI workflow.
...
Changes are:
- Use ubuntu-20.04 so that gcc-multilib installs without error.
- Use "fetch-depth: 100" to get history prior to pull request.
Signed-off-by: Damien George <damien@micropython.org>
2021-01-24 14:56:40 +11:00
69262a11dc
tools/ci.sh: Put echo of CI path in a separate function.
...
Because the setup functions may print other information which should not be
added to the path.
Signed-off-by: Damien George <damien@micropython.org>
2020-12-14 13:05:43 +11:00
f7225d1c95
github/workflows: Run unix and qemu-arm workflows when tests change.
...
Signed-off-by: Damien George <damien@micropython.org>
2020-11-30 10:48:41 +11:00
a598ae5b4d
github/workflows: Add workflows for all CI tasks, builds and tests.
...
Signed-off-by: Damien George <damien@micropython.org>
2020-11-29 22:21:28 +11:00
eeca2c3cbe
github: Add GitHub action to build docs.
...
This builds docs, but only on pull requests that change a file in the
docs/ directory.
2020-06-05 21:42:10 +10:00
stijn
Damien George
David Lechner