diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index 75f88c8..0f9fea7 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -87,12 +87,12 @@ jobs: - name: Build static binary run: | cd release && \ - docker run \ + docker run --pull=missing \ -v "${PWD}/..":/mnt/:ro \ -v "~/.cabal/packages":/root/.cache/cabal/packages \ -v "~/.cabal/store":/root/.local/state/cabal/store \ -v "${PWD}/dist-newstyle":/mnt/dist-newstyle \ - ghcr.io/spex-lang/static-build:latest + ghcr.io/spex-lang/static-build:latest # - name: Create new git tag, if merge to master and .cabal version is bumped # if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}