diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1bc0736f..75a9e3bf 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -31,8 +31,9 @@ jobs: ./bootstrap.sh ./configure \ --enable-developer-mode \ + --without-developer-tools \ --disable-dependency-checks \ - CARGOSETVERSION=false CHECKMAKE=false LUACHECK=false RUFF=false STYLUA=false TAPLO=false TYPOS=cat + TYPOS=cat echo "VERSION=$(./build-aux/git-version-gen .tarball-version)" >> $GITHUB_ENV echo "MAKEFLAGS=-j$(nproc) -Otarget" >> $GITHUB_ENV - name: Make diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 52778b42..1ab7bb7b 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -26,8 +26,9 @@ jobs: ./bootstrap.sh ./configure \ --enable-developer-mode \ - --disable-dependency-checks \ - CARGOSETVERSION=false CHECKMAKE=false LUACHECK=false RUFF=false STYLUA=false TAPLO=false TYPOS=false + DOCKER=$(which docker) \ + --without-developer-tools \ + --disable-dependency-checks - name: Publish Docker Image to GH Container Registry run: | make docker-build-push