Skip to content

Commit

Permalink
fix: fix CI binary push and local binary export (#66)
Browse files Browse the repository at this point in the history
Signed-off-by: Dori Medini <[email protected]>
  • Loading branch information
dorimedini-starkware authored Apr 24, 2024
1 parent 10decd1 commit 3377ed9
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 1 deletion.
4 changes: 3 additions & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -88,7 +88,9 @@ jobs:

- name: Get commit hash prefix
id: commit_prefix
run: echo "short_hash=$(echo ${{ github.event.pull_request.head.sha }} | cut -c 1-7)" >> $GITHUB_OUTPUT
# 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

- name: Build CLI binary
run: cargo build -p committer_cli -r --bin committer_cli --target-dir CLI_TARGET
Expand Down
2 changes: 2 additions & 0 deletions BUILD
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,6 @@
exports_files([
"target/debug/committer_cli",
"target/release/committer_cli",
"target/x86_64-unknown-linux-musl/debug/committer_cli",
"target/x86_64-unknown-linux-musl/release/committer_cli",
])

0 comments on commit 3377ed9

Please sign in to comment.