diff options
| author | Damien George | 2020-12-14 13:05:43 +1100 |
|---|---|---|
| committer | Damien George | 2020-12-14 13:05:43 +1100 |
| commit | 69262a11dcaae6db7ecbd1f4b6179a2ed6195a10 (patch) | |
| tree | 6f649acd85939e418eff64287766490fa4cc9a92 /.github | |
| parent | e0bb7a53c3244ffa720fcdb64be5784379c5f596 (diff) | |
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>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ports_esp32.yml | 4 | ||||
| -rw-r--r-- | .github/workflows/ports_esp8266.yml | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/ports_esp32.yml b/.github/workflows/ports_esp32.yml index b89e462e0..041074557 100644 --- a/.github/workflows/ports_esp32.yml +++ b/.github/workflows/ports_esp32.yml @@ -18,7 +18,7 @@ jobs: steps: - uses: actions/checkout@v2 - name: Install packages - run: source tools/ci.sh && ci_esp32_idf3_setup >> $GITHUB_PATH + run: source tools/ci.sh && ci_esp32_idf3_setup && ci_esp32_idf3_path >> $GITHUB_PATH - name: Build env: IDF_PATH: ${{ github.workspace }}/esp-idf @@ -29,7 +29,7 @@ jobs: steps: - uses: actions/checkout@v2 - name: Install packages - run: source tools/ci.sh && ci_esp32_idf4_setup >> $GITHUB_PATH + run: source tools/ci.sh && ci_esp32_idf4_setup && ci_esp32_idf4_path >> $GITHUB_PATH - name: Build env: IDF_PATH: ${{ github.workspace }}/esp-idf diff --git a/.github/workflows/ports_esp8266.yml b/.github/workflows/ports_esp8266.yml index f6f2fcaf4..f4ce1f821 100644 --- a/.github/workflows/ports_esp8266.yml +++ b/.github/workflows/ports_esp8266.yml @@ -18,6 +18,6 @@ jobs: steps: - uses: actions/checkout@v2 - name: Install packages - run: source tools/ci.sh && ci_esp8266_setup >> $GITHUB_PATH + run: source tools/ci.sh && ci_esp8266_setup && ci_esp8266_path >> $GITHUB_PATH - name: Build run: source tools/ci.sh && ci_esp8266_build |