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

# Always run from the directory where this script lives
SCRIPT_DIR="$(cd -- "$(dirname -- "${BASH_SOURCE[0]}")" && pwd)"
cd "$SCRIPT_DIR"

# Execute the tests
bash ./tests/test_finish.sh