use full docker image for ghci

This commit is contained in:
9qeklajc
2026-05-05 22:15:13 +02:00
parent e280d1f8b1
commit b633455071

View File

@@ -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 }}