Damien George
a9bbf7083e
tools/ci.sh: Build esp32 using IDF v4.0.2 and v4.3.
To test different IDF's, and also test building the GENERIC_S2 board.
Signed-off-by: Damien George <damien@micropython.org>
4 years ago
Damien George
6129b8e401
tests: Rename run-tests to run-tests.py for consistency.
Signed-off-by: Damien George <damien@micropython.org>
4 years ago
Damien George
aa3d6b6aa5
tools/ci.sh: Change esp32 CI to work with idf.py and IDF v4.0.2.
Signed-off-by: Damien George <damien@micropython.org>
4 years ago
iTitou
b8f5f5cd85
github/workflows/ports_unix.yml: Add job for a reproducible build.
With a check for reproducible build date. Invocation of the test suite is
not needed because it's already run in another job.
Signed-off-by: iTitou <moiandme@gmail.com>
4 years ago
stijn
37c2f507a0
github/workflows: Add workflow to verify commit message format.
Using the new tools/verifygitlog.py script.
4 years ago
Damien George
b8f4c623f9
github/workflows: Add CI workflow for rp2 port.
Signed-off-by: Damien George <damien@micropython.org>
4 years ago
Damien George
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>
4 years ago
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>
4 years ago
Damien George
f7225d1c95
github/workflows: Run unix and qemu-arm workflows when tests change.
Signed-off-by: Damien George <damien@micropython.org>
4 years ago
Damien George
a598ae5b4d
github/workflows: Add workflows for all CI tasks, builds and tests.
Signed-off-by: Damien George <damien@micropython.org>
4 years ago
Damien George
c521c178e9
github: Add FUNDING.yml file pointing to micropython GitHub sponsorship.
Signed-off-by: Damien George <damien@micropython.org>
4 years ago
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.
4 years ago