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