Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

test pr num #41

Merged
merged 1 commit into from
Oct 21, 2024
Merged

test pr num #41

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/blockifier_ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ on:
- edited
paths:
# Other than code-related changes, all changes related to the native-blockifier build-and-push
# process should trigger the build (e.g., changes to the Dockerfile, build scripts, etc.).
# process should trigger the build (e.g., changes to the Dockerfile, build scripts, etc.). t
- ".github/workflows/blockifier_ci.yml"
- "upload_to_gcp.txt"
- ".github/workflows/updload_artifacts.yml"
Expand Down
18 changes: 9 additions & 9 deletions .github/workflows/updload_artifacts.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,19 +26,19 @@ jobs:

- name: the workflow run URL
run: |
echo "The workflow run URL is: $GITHUB_RUN_URL"
echo "The workflow run URL is: ${{ env.GITHUB_RUN_URL }}"
echo "The workflow run GITHUB_API_URL is: ${{ env.GITHUB_API_URL}}"
echo "*******"
echo "$GITHUB_SERVER_URL/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID"
echo "*******"
echo "The workflow run number is: ${{ github.run_number }}"
echo "The workflow run name is: ${{ github.run_id }}"


- name: Get PR Number
# if: github.event.workflow_run.pull_requests != ''
run: |
if [[ "${{ toJson(github.event.workflow_run.pull_requests) }}" != "[]" ]]; then
pr_number=$(echo "${{ toJson(github.event.workflow_run.pull_requests) }}" | jq -r '.[0].number')
echo "PR number is $pr_number"
echo "PR_NUMBER=$pr_number" >> $GITHUB_ENV
else
echo "No pull request found"
echo "PR_NUMBER=" >> $GITHUB_ENV
fi
echo " pr num: ${{ github.event.workflow_run.event.number }}"

- name: Authenticate with GCS
uses: "google-github-actions/auth@v2"
Expand Down