#!/usr/bin/env bash
set -euo pipefail

ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)"

"${ROOT_DIR}/scripts/docker/generate-amalgamation.sh"
"${ROOT_DIR}/scripts/docker/build.sh"
"${ROOT_DIR}/scripts/docker/test.sh"
"${ROOT_DIR}/scripts/docker/mono-net40-smoke.sh"

echo "All docker checks completed."