da4593f937
tools/ci.sh: Use IDF v4.4 as part of esp32 CI and build GENERIC_S3.
...
IDF v4.4 does not have an official release so for now use the latest
master. Also remove building GENERIC with no options (all the other boards
are no-option builds), to keep CI time reasonable.
Signed-off-by: Damien George <damien@micropython.org>
2021-09-16 22:59:05 +10:00
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>
2021-04-15 10:31:06 +10:00
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>
2021-02-15 16:40:11 +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
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
Damien George