Skip to content

Commit

Permalink
fix: on push commit hash
Browse files Browse the repository at this point in the history
Signed-off-by: Dori Medini <[email protected]>
  • Loading branch information
dorimedini-starkware committed Apr 24, 2024
1 parent 3377ed9 commit 71d5587
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -90,7 +90,7 @@ jobs:
id: commit_prefix
# Commit hash on pull request event would be the head commit of the branch;
# on push event (to main, for example) we should take the commit post-push.
run: echo "short_hash=$(if [ ${{ github.event_name }} == 'pull_request' ]; then echo ${{ github.event.pull_request.head.sha }}; else echo ${{ github.event.push.after }}; fi | cut -c 1-7)" >> $GITHUB_OUTPUT
run: echo "short_hash=$(if [ ${{ github.event_name }} == 'pull_request' ]; then echo ${{ github.event.pull_request.head.sha }}; else echo ${{ github.event.after }}; fi | cut -c 1-7)" >> $GITHUB_OUTPUT

- name: Build CLI binary
run: cargo build -p committer_cli -r --bin committer_cli --target-dir CLI_TARGET
Expand Down

0 comments on commit 71d5587

Please sign in to comment.