Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Fix broken code coverage job #380

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
May 30, 2025
Merged

Fix broken code coverage job #380

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
f149cf9
Fix broken code coverage job
jeltz May 30, 2025
ee7bd1f
Run installation of llvm as root
jeltz May 30, 2025
0f5bf62
Disable checking indentation of upstream code
jeltz May 30, 2025
f6f2c98
Consistently use set -e in all our scripts
jeltz May 30, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions ci_scripts/backup/pg_basebackup_test.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
#!/bin/bash

set -e # Exit on errors
set -u # Treat unset variables as errors
set -o pipefail # Stop on pipeline errors
Expand Down
1 change: 1 addition & 0 deletions ci_scripts/configure-global-tde.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
#!/bin/bash

set -e

SCRIPT_DIR="$(cd -- "$(dirname "$0")" >/dev/null 2>&1; pwd -P)"
Expand Down
2 changes: 2 additions & 0 deletions ci_scripts/dump-typedefs.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
#!/bin/bash

set -e

SCRIPT_DIR="$(cd -- "$(dirname "$0")" >/dev/null 2>&1; pwd -P)"
cd "$SCRIPT_DIR/.."

Expand Down
4 changes: 3 additions & 1 deletion ci_scripts/make-build.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,14 @@
#!/bin/bash

set -e

ARGS=

for arg in "$@"
do
case "$arg" in
--enable-coverage)
ARGS +=" --enable-coverage"
ARGS+=" --enable-coverage"
;;
esac
done
Expand Down
1 change: 1 addition & 0 deletions ci_scripts/make-test-global-tde.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
#!/bin/bash

set -e

ADD_FLAGS=

for arg in "$@"
Expand Down
2 changes: 2 additions & 0 deletions ci_scripts/meson-build.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
#!/bin/bash

set -e

ENABLE_COVERAGE=

for arg in "$@"
Expand Down
5 changes: 4 additions & 1 deletion ci_scripts/run-pgindent.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
#!/bin/bash

set -e

SCRIPT_DIR="$(cd -- "$(dirname "$0")" >/dev/null 2>&1; pwd -P)"
INSTALL_DIR="$SCRIPT_DIR/../../pginst"
cd "$SCRIPT_DIR/../"
Expand All @@ -17,7 +19,8 @@ cd "$SCRIPT_DIR/.."
export PATH=$SCRIPT_DIR/../src/tools/pgindent/:$INSTALL_DIR/bin/:$PATH

# Check everything except pg_tde with the list in the repo
pgindent --typedefs=src/tools/pgindent/typedefs.list --excludes=<(echo "contrib/pg_tde") "$@" .
# TODO: Disabled due to incorrectly indented upsrteam as of 17.4
#pgindent --typedefs=src/tools/pgindent/typedefs.list --excludes=<(echo "contrib/pg_tde") "$@" .

# Check pg_tde with the fresh list extraxted from the object file
pgindent --typedefs=combined.typedefs "$@" contrib/pg_tde
2 changes: 2 additions & 0 deletions ci_scripts/run-pgperltidy.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
#!/bin/bash

set -e

SCRIPT_DIR="$(cd -- "$(dirname "$0")" >/dev/null 2>&1; pwd -P)"
cd "$SCRIPT_DIR/../"

Expand Down
2 changes: 2 additions & 0 deletions ci_scripts/setup-keyring-servers.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
#!/bin/bash

set -e

SCRIPT_DIR="$(cd -- "$(dirname "$0")" >/dev/null 2>&1; pwd -P)"

cd /tmp
Expand Down
4 changes: 3 additions & 1 deletion ci_scripts/ubuntu-deps.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
#!/bin/bash

set -e

DEPS=(
# Setup
wget
Expand Down Expand Up @@ -53,7 +55,7 @@ DEPS=(
sudo apt-get update
sudo apt-get install -y ${DEPS[@]}

bash -c "$(wget -O - https://apt.llvm.org/llvm.sh)"
sudo bash -c "$(wget -O - https://apt.llvm.org/llvm.sh)"
pip3 install meson

# Vault
Expand Down