diff --git a/.github/workflows/repro.yml b/.github/workflows/repro.yml index 5aa112d56267..814656b87c02 100644 --- a/.github/workflows/repro.yml +++ b/.github/workflows/repro.yml @@ -14,7 +14,7 @@ jobs: strategy: fail-fast: false # Let each build finish. matrix: - version: ['focal', 'jammy', 'nobl'] + version: ['focal', 'jammy', 'noble'] steps: - name: Git checkout id: repo_chackout @@ -45,7 +45,7 @@ jobs: run: | { echo "STEP=Builder image setup" >> "$GITHUB_ENV" - docker build -t cl-repro-${{ matrix.version }} - < contrib/reprobuild/Dockerfile.${{ matrix.version }} + docker build -t cl-repro-${{ matrix.version }} - < contrib/reprobuild/Dockerfiles.${{ matrix.version }} } > command.log 2>&1 || { echo "ERROR<> "$GITHUB_ENV" echo "$(cat command.log)" >> "$GITHUB_ENV"