hack/scripts/cover.sh
Rama main · réplica de lectura del repositorio original.
#!/usr/bin/env bash
#
# Copyright 2021-2026 Zenauth Ltd.
set -euo pipefail
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
COVERFILE="$(mktemp -t cerbos-XXXXX)"
trap 'rm -rf "$COVERFILE"' EXIT
(
cd "${SCRIPT_DIR}/../.."
go test -tags=tests -coverprofile="$COVERFILE" -count=1 $@
# go install github.com/nikandfor/cover@latest
if command -v cover &> /dev/null; then
cover -p "$COVERFILE"
else
go tool cover -html="$COVERFILE"
fi
)