Report average docker build time

docker-build.sh

#!/bin/sh

set -e

total_time=0

for i in 1 2 3
do
    echo "==> Cleaning up Docker environment before build #$i..."
    docker system prune --all --volumes --force > /dev/null 2>&1

    echo "==> Running build #$i..."
    start_time=$(date +%s)
    docker build --platform linux/amd64 . > /dev/null 2>&1
    end_time=$(date +%s)
    elapsed_time=$((end_time - start_time))

    echo "==> Time taken for build #$i: ${elapsed_time}s"
    total_time=$((total_time + elapsed_time))
done

average_time=$((total_time / 3))
git_hash=$(git log -n 1 --pretty=format:"%h" -- Dockerfile)

echo ""
echo "==> Dockerfile $git_hash average build time: ${average_time}s"