dialyze.sh\scripts\ci - delta/rabbitmq-server-git.git - github.com: rabbitmq/rabbitmq-server.git

index : delta/rabbitmq-server-git.git

github.com: rabbitmq/rabbitmq-server.git

summary refs log tree commit diff

path: root/ci/scripts/dialyze.sh

blob: fbb8e6dc54f4a9ab763acc1435df33b187c73645 (plain)

#!/bin/bash

set -euo pipefail

cd /workspace/rabbitmq/deps/$project

buildevents cmd ${GITHUB_RUN_ID} ${GITHUB_RUN_ID}-dialyze ${project} -- \
        make dialyze