#!/usr/bin/env bash set -e source .jenkins.d/util.sh if has Linux $NODE_LABELS; then export PATH="${HOME}/.local/bin${PATH:+:}${PATH}" fi export CACHE_DIR=${CACHE_DIR:-/tmp} export WAF_JOBS=${WAF_JOBS:-1} [[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes for file in .jenkins.d/*; do [[ -f $file && -x $file ]] || continue if [[ -n $GITHUB_ACTIONS ]]; then label=$(basename "$file" | sed -E 's/[[:digit:]]+-(.*)\..*/\1/') echo "::group::${label}" fi echo "\$ $file" "$file" if [[ -n $GITHUB_ACTIONS ]]; then echo "::endgroup::" fi done