diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1bc0736f..a74c66a4 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -31,8 +31,8 @@ jobs: ./bootstrap.sh ./configure \ --enable-developer-mode \ - --disable-dependency-checks \ - CARGOSETVERSION=false CHECKMAKE=false LUACHECK=false RUFF=false STYLUA=false TAPLO=false TYPOS=cat + --without-developer-tools \ + --disable-dependency-checks 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