rabbitmq-server/ci/scripts/dialyze.sh

9 lines
165 B
Bash
Executable File

#!/bin/bash
set -euo pipefail
cd /workspace/rabbitmq/deps/$project
buildevents cmd ${GITHUB_RUN_ID} ${GITHUB_RUN_ID}-dialyze ${project} -- \
make dialyze