From 465623be89d09a3fb72a83d739dbdc714c3d449f Mon Sep 17 00:00:00 2001 From: Stevan Andjelkovic Date: Mon, 21 Oct 2024 17:49:31 +0200 Subject: [PATCH] ci: separate out pull into separate step --- .github/workflows/main.yaml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index fac6c36..5807952 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -81,13 +81,15 @@ jobs: uses: docker/login-action@v3 with: registry: ghcr.io - username: ${{ github.actor }} + username: spex-lang password: ${{ secrets.GITHUB_TOKEN }} + - name: Docker pull + run: docker pull ghcr.io/spex-lang/static-build:latest + - name: Build static binary run: | cd release && \ - docker pull ghcr.io/spex-lang/static-build:latest && \ docker run \ -v "${PWD}/..":/mnt/:ro \ -v "~/.cabal/packages":/root/.cache/cabal/packages \