gh-15144: Fixed installing updates does not updating registries (gh-15181)

This commit is contained in:
mr. m
2026-09-01 02:07:53 +02:00
committed by GitHub
parent 8b632c9b05
commit faafff667e
19 changed files with 277 additions and 40 deletions

View File

@@ -20,6 +20,19 @@ on:
required: true
type: boolean
default: false
disable-pgo:
description: "Build without PGO at all"
required: false
type: boolean
default: false
force-candidate:
description: "Force building against the Firefox release candidate"
required: false
type: boolean
default: false
env:
SURFER_FORCE_CANDIDATE: ${{ inputs.force-candidate && '1' || '' }}
jobs:
build-linux:
@@ -122,7 +135,7 @@ jobs:
cd ..
- name: Build (PGO stage 1 - generate)
if: ${{ matrix.arch == 'x86_64' }}
if: ${{ matrix.arch == 'x86_64' && !inputs.disable-pgo }}
env:
SURFER_COMPAT: ${{ matrix.arch }}
ZEN_RELEASE_BRANCH: ${{ inputs.release-branch }}
@@ -139,7 +152,7 @@ jobs:
bash .github/workflows/src/release-build.sh
- name: Generate PGO profile data
if: ${{ matrix.arch == 'x86_64' }}
if: ${{ matrix.arch == 'x86_64' && !inputs.disable-pgo }}
run: |
set -x
export DISPLAY=:2
@@ -157,6 +170,7 @@ jobs:
env:
SURFER_COMPAT: ${{ matrix.arch }}
ZEN_RELEASE_BRANCH: ${{ inputs.release-branch }}
ZEN_GA_DISABLE_PGO: ${{ inputs.disable-pgo && '1' || '' }}
ZEN_SAFEBROWSING_API_KEY: ${{ secrets.ZEN_SAFEBROWSING_API_KEY }}
ZEN_MOZILLA_API_KEY: ${{ secrets.ZEN_MOZILLA_API_KEY }}
ZEN_GOOGLE_LOCATION_SERVICE_API_KEY: ${{ secrets.ZEN_GOOGLE_LOCATION_SERVICE_API_KEY }}