diff options
| author | Angus Gratton <angus@redyak.com.au> | 2023-11-29 15:39:10 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-12-06 12:13:56 +1100 |
| commit | b6df8f84526bc1d32b419c1e4f706a9ec699957f (patch) | |
| tree | a94ea54a467b6c05b16885f25c63f452a87b3ee1 /py/compile.h | |
| parent | 9f620d28193709a5002a6f439b7495c9c3451792 (diff) | |
github/workflows: Use build matrix for esp32 port.
Allows splitting the esp32 job into multiple parts without too much
boilerplate. The matrix is parameterised using the name of the function to
call in tools/ci.sh, to minimise the dependency on GitHub Actions.
This can get esp32 build times down around 3m if IDF is cached already.
If the cache is cold, the cache preparation step on each job can double up
against each other. However, restructuring the workflow to not do this
seems either complex or requires copy-pasting the entire cache step.
Signed-off-by: Angus Gratton <angus@redyak.com.au>
Diffstat (limited to 'py/compile.h')
0 files changed, 0 insertions, 0 deletions