#!/usr/bin/env bash
# Tear down the CVE-2025-1974 environment.
set -uo pipefail
HERE="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
export PATH="$HERE/bin:$PATH"
kind delete cluster --name cve-2025-1974
rm -rf "$HERE/ca"
echo "[down] kind cluster 'cve-2025-1974' deleted."
