Fix workflow CI

This commit is contained in:
Clément Renault 2023-10-09 16:30:46 +02:00
parent ca19bae72f
commit 1cde455758
No known key found for this signature in database
GPG Key ID: F250A4C4E3AE5F5F

View File

@ -73,9 +73,9 @@ jobs:
# Compute the diff of the benchmarks and send a message on the GitHub PR
- name: Compute and send a message in the PR
run: |
export base=git rev-parse $(git cherry main | head -n 1 | cut -c 3-)~ | cut -c -8
export base=$(git rev-parse $(git cherry main | head -n 1 | cut -c 3-)~ | cut -c -8)
echo 'Here are your benchmarks diff 👊' >> body.txt
echo '```' >> body.txt
./benchmaks/scipts/compare.sh $base ${{ steps.file.outputs.basename }}.json >> body.txt
./benchmaks/scripts/compare.sh $base ${{ steps.file.outputs.basename }}.json >> body.txt
echo '```' >> body.txt
gh pr comment ${GITHUB_REF#refs/heads/} --body-file body.txt