set -ex

if [ -v ${CI_MACHINE_TYPE} ]; then

echo "Need to set CI_MACHINE_TYPE"

exit 1

RESULTS_DIR=benchmark-run-data

NEXMARK_CSV_FILE='nexmark_results.csv'

NEXMARK_DRAM_CSV_FILE='dram_nexmark_results.csv'

NEXMARK_SQL_CSV_FILE='sql_nexmark_results.csv'

NEXMARK_SQL_METRICS_CSV_FILE='sql_nexmark_metrics.csv'

NEXMARK_SQL_STORAGE_CSV_FILE='sql_storage_nexmark_results.csv'

NEXMARK_SQL_STORAGE_METRICS_CSV_FILE='sql_storage_nexmark_metrics.csv'

NEXMARK_PERSISTENCE_CSV_FILE='persistence_nexmark_results.csv'

GALEN_CSV_FILE='galen_results.csv'

LDBC_CSV_FILE='ldbc_results.csv'

DATE_PREFIX=`date +"%Y-%m-%d-%H-%M/"`

if [ -z "${PR_COMMIT_SHA}" ]; then

# So we can run the script in non-runner environments and not pull request events

PR_COMMIT_SHA=`git rev-parse HEAD`

BENCHMARKS_LIST='gh-pages/benchmarks-list'

> $BENCHMARKS_LIST

for test in ${RESULTS_DIR}/*; do

name=$(basename $test)

echo ${name} >> $BENCHMARKS_LIST

# Add results to repo

DEPLOY_DIR="gh-pages/${name}/${CI_MACHINE_TYPE}/${PR_COMMIT_SHA}/"

if [ -d "${DEPLOY_DIR}" ]; then

# If we already have results for this SHA (the directory exists),

# we will add the new results in a subdir

DEPLOY_DIR=${DEPLOY_DIR}${DATE_PREFIX}

fi

# Copy results

mkdir -p ${DEPLOY_DIR}

mv ${test}/* ${DEPLOY_DIR}

gzip -f ${DEPLOY_DIR}*.csv

cd gh-pages

uv run --locked _scripts/ci_history.py --append --machine $CI_MACHINE_TYPE

if [ "$SMOKE" = "" ]; then

if [ "$CI" = true ] ; then

git config user.email "no-reply@dbsp.systems"

git config user.name "dbsp-ci"

fi

git add .

git commit -a -m "Added benchmark results for $PR_COMMIT_SHA."

git push origin main

cd ..

rm -rf gh-pages

git clean -f