Damien George
|
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 |
|
Damien George
|
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 |
|
Damien George
|
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 |
David Lechner
|
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 |