Searched full:github_workflow (Results 1 – 18 of 18) sorted by relevance
131 echo "Workflow: ${GITHUB_WORKFLOW}"137 --workflow "${GITHUB_WORKFLOW}" \
124 GITHUB_WORKFLOW: ${{ github.workflow }}151 -e GITHUB_WORKFLOW \
51 GITHUB_WORKFLOW: ${{ github.workflow }}
134 GITHUB_WORKFLOW: ${{ github.workflow }}174 -e GITHUB_WORKFLOW \
146 GITHUB_WORKFLOW: ${{ github.workflow }}191 -e GITHUB_WORKFLOW \
185 GITHUB_WORKFLOW: ${{ github.workflow }}236 -e GITHUB_WORKFLOW \
143 echo "SCCACHE_S3_KEY_PREFIX=${GITHUB_WORKFLOW}" >> "${GITHUB_ENV}"
151 GITHUB_WORKFLOW: ${{ github.workflow }}
166 GITHUB_WORKFLOW: ${{ github.workflow }}
26 …git commit -m "Latest javadoc on successful Github build $GITHUB_WORKFLOW/$GITHUB_RUN_ID auto-push…
115 EnvVarMetric("workflow", "GITHUB_WORKFLOW"),
45 "GITHUB_WORKFLOW": WORKFLOW,
154 GITHUB_WORKFLOW: ${{ github.workflow }}206 -e GITHUB_WORKFLOW \
156 … echo "id=${GITHUB_WORKFLOW}-${GITHUB_JOB}-${GITHUB_RUN_ID}-${{matrix.name}}" >> $GITHUB_OUTPUT
192 "GITHUB_WORKFLOW"
1283 and os.environ.get("GITHUB_WORKFLOW", "slow") in ("trunk", "pull"),