Improve Sanitizer checks

This patch contains two changes to the Sanitizer checks:

(1) All logfiles of the Sanitizer will be uploaded to the
    CI database.

(2) The Sanitizer checks are executed on every PR.
This commit is contained in:
Jan Nidzwetzki 2022-12-07 20:59:00 +01:00 committed by Jan Nidzwetzki
parent 323d41b53b
commit c76dfa0acb
2 changed files with 3 additions and 1 deletions

View File

@ -7,6 +7,8 @@ on:
push: push:
branches: branches:
- prerelease_test - prerelease_test
pull_request:
env: env:
name: "Sanitizer" name: "Sanitizer"
PG_SRC_DIR: "pgbuild" PG_SRC_DIR: "pgbuild"

View File

@ -182,7 +182,7 @@ match($0, /^(test| ) ([^ ]+)[ ]+\.\.\.[ ]+([^ ]+) (|\(.*\))[ ]+([0-9]+) ms$/,
"${PSQL[@]}" -c "\copy test from tests.tsv" "${PSQL[@]}" -c "\copy test from tests.tsv"
# Upload the logs. # Upload the logs.
for x in {sanitizer,stacktrace,postgres-failure}.log *.diff for x in sanitizer/* {sanitizer,stacktrace,postgres-failure}.log *.diff
do do
if ! [ -e "$x" ]; then continue ; fi if ! [ -e "$x" ]; then continue ; fi
"${PSQL[@]}" <<<" "${PSQL[@]}" <<<"