diff options
author | Chuck Craft <bubbasnmp@gmail.com> | 2022-10-14 10:31:15 -0500 |
---|---|---|
committer | Chuck Craft <bubbasnmp@gmail.com> | 2022-10-14 10:31:15 -0500 |
commit | d0ce6e5f81a4d2692e170d7241b3aae5af4b5eca (patch) | |
tree | 2ac5eafb6e2c71c62752dafec063a318e874857b /.github | |
parent | 3de62e588f3b1da970306fff03f28209bc7fbb2c (diff) |
Github: Ignore symbol changes on the master branch
See #18404 and !8452
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ubuntu.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml index 7d73429963..f5353394c5 100644 --- a/.github/workflows/ubuntu.yml +++ b/.github/workflows/ubuntu.yml @@ -36,6 +36,8 @@ jobs: - name: Build debian pkg run: | ln --symbolic --no-dereference --force packaging/debian + # Ignore changed symbols (on development branch). + export DPKG_GENSYMBOLS_CHECK_LEVEL=0 tools/make-version.py --set-release . export DEB_BUILD_OPTIONS="nocheck parallel=$(( $(getconf _NPROCESSORS_ONLN) + 2 ))" export DH_QUIET=1 |