diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4d7fa24d7..0e202c4f0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -258,14 +258,24 @@ jobs: cd main make test + - name: Add ~/.local/bin to PATH + run: | + echo "$HOME/.local/bin" >> $GITHUB_PATH + - name : Shell tests (Linux) - id: shell-tests + id: shell-tests-linux if: runner.os == 'Linux' run : | cd main - echo "$GITHUB_WORKSPACE/.local/bin" >> $GITHUB_PATH make test-shell + - name : Shell tests (macOS) + id: shell-tests-macos + if: runner.os == 'macOS' + run : | + cd main + make CC=$CC LIBTOOL=$LIBTOOL test-shell + docs: needs: build if: github.event.pull_request.merged == true || github.event_name == 'workflow_dispatch'