rabbitmq-server/ci/scripts/dialyze.sh

9 lines
148 B
Bash
Executable File

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