diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/push.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 46346ae1e..55d1cc3e7 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -6,6 +6,7 @@ on: env: CI: true + DOCKER_BUILDKIT: 1 jobs: @@ -137,6 +138,7 @@ jobs: base-devel git mingw-w64-${{ matrix.arch }}-toolchain + mingw-w64-${{ matrix.arch }}-python-pip - run: git config --global core.autocrlf input shell: bash @@ -170,8 +172,7 @@ jobs: - name: Test package run: | - env | grep MSYSTEM - env | grep MINGW + pip3 install -r testsuite/requirements.txt GHDL=ghdl ./testsuite/testsuite.sh env: MSYSTEM: ${{ matrix.installs }} |