Searched full:bugs_pickle_path (Results 1 – 1 of 1) sorted by relevance
36 BUGS_PICKLE_PATH="${RUNNER_TEMP}/${BUGS_PICKLE_FILENAME}"39 python3 scripts/make_bugs_pickle.py | xz > ${BUGS_PICKLE_PATH}42 echo "BUGS_PICKLE_PATH=${BUGS_PICKLE_PATH}" >> ${GITHUB_ENV}66 aws s3 cp --quiet ${BUGS_PICKLE_PATH} ${PUBLISH_UPLOAD_URI}