fix: remove duplicate shell key in infra-health-check.yml

This commit is contained in:
Vijay Janapa Reddi
2026-03-06 10:11:44 -05:00
parent a76aab4676
commit d02bd6ddd7
2 changed files with 0 additions and 25 deletions

View File

@@ -349,30 +349,6 @@ jobs:
echo "🏷️ Container tag: ${{ inputs.container_tag }}"
echo "✅ Current matrix job enabled: ${{ matrix.enabled }}"
- name: 🔑 Log in to GitHub Container Registry
if: matrix.platform == 'windows' && matrix.enabled
uses: docker/login-action@v3
with:
registry: ${{ inputs.container_registry }}
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
$maxAttempts = 12
for ($i = 1; $i -le $maxAttempts; $i++) {
try {
docker version | Out-Null
Write-Host "Docker daemon is ready."
break
} catch {
if ($i -eq $maxAttempts) {
throw "Docker daemon failed to start after waiting."
}
Start-Sleep -Seconds 5
}
}
- name: 🧪 Preflight toolchain (Linux)
if: matrix.platform == 'linux' && matrix.enabled
working-directory: ${{ vars.BOOK_QUARTO }}

View File

@@ -83,7 +83,6 @@ jobs:
platform: linux
container_name: quarto-linux
shell: bash
shell: pwsh
env:
CONTAINER_IMAGE: ${{ inputs.container_registry || 'ghcr.io' }}/${{ github.repository }}/${{ matrix.container_name }}:${{ inputs.container_tag || 'latest' }}