From b6334550718001599a6dee322b67610e33c0b0da Mon Sep 17 00:00:00 2001 From: 9qeklajc Date: Tue, 5 May 2026 22:15:13 +0200 Subject: [PATCH] use full docker image for ghci --- .github/workflows/container.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/container.yml b/.github/workflows/container.yml index a93976f9..ca31c97d 100644 --- a/.github/workflows/container.yml +++ b/.github/workflows/container.yml @@ -37,6 +37,7 @@ jobs: uses: docker/build-push-action@v4 with: context: . + file: Dockerfile.full push: true build-args: | GIT_COMMIT=${{ steps.gitmeta.outputs.sha }}