2023-10-05 12:09:52 +02:00
|
|
|
name: Benchmarks (PR)
|
2023-10-11 23:18:29 +02:00
|
|
|
on: issue_comment
|
2023-10-09 14:56:41 +02:00
|
|
|
permissions:
|
|
|
|
issues: write
|
2023-10-05 12:05:01 +02:00
|
|
|
|
|
|
|
env:
|
|
|
|
GH_TOKEN: ${{ secrets.MEILI_BOT_GH_PAT }}
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
run-benchmarks-on-comment:
|
2023-10-11 14:27:51 +02:00
|
|
|
if: startsWith(github.event.comment.body, '/benchmark')
|
2023-10-05 12:05:01 +02:00
|
|
|
name: Run and upload benchmarks
|
|
|
|
runs-on: benchmarks
|
|
|
|
timeout-minutes: 4320 # 72h
|
|
|
|
steps:
|
|
|
|
- uses: actions-rs/toolchain@v1
|
|
|
|
with:
|
|
|
|
profile: minimal
|
|
|
|
toolchain: stable
|
|
|
|
override: true
|
|
|
|
|
2023-10-09 14:56:41 +02:00
|
|
|
- name: Check for Command
|
|
|
|
id: command
|
|
|
|
uses: xt0rted/slash-command-action@v2
|
|
|
|
with:
|
|
|
|
command: benchmark
|
|
|
|
reaction-type: "eyes"
|
2023-10-09 16:52:04 +02:00
|
|
|
repo-token: ${{ env.GH_TOKEN }}
|
2023-10-09 14:56:41 +02:00
|
|
|
|
2023-10-11 12:02:44 +02:00
|
|
|
- uses: xt0rted/pull-request-comment-branch@v2
|
|
|
|
id: comment-branch
|
|
|
|
with:
|
|
|
|
repo_token: ${{ env.GH_TOKEN }}
|
|
|
|
|
|
|
|
- uses: actions/checkout@v3
|
|
|
|
if: success()
|
|
|
|
with:
|
2023-10-12 12:25:26 +02:00
|
|
|
fetch-depth: 0 # fetch full history to be able to get main commit sha
|
2023-10-11 12:02:44 +02:00
|
|
|
ref: ${{ steps.comment-branch.outputs.head_ref }}
|
|
|
|
|
2023-10-05 12:05:01 +02:00
|
|
|
# Set variables
|
|
|
|
- name: Set current branch name
|
|
|
|
shell: bash
|
2023-10-11 13:05:54 +02:00
|
|
|
run: echo "name=$(git rev-parse --abbrev-ref HEAD)" >> $GITHUB_OUTPUT
|
2023-10-05 12:05:01 +02:00
|
|
|
id: current_branch
|
|
|
|
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
|
|
|
shell: bash
|
2023-10-11 13:05:54 +02:00
|
|
|
run: echo "name=$(git rev-parse --abbrev-ref HEAD | tr '/' '_')" >> $GITHUB_OUTPUT
|
2023-10-05 12:05:01 +02:00
|
|
|
id: normalized_current_branch
|
|
|
|
- name: Set shorter commit SHA
|
|
|
|
shell: bash
|
|
|
|
run: echo "short=$(echo $GITHUB_SHA | cut -c1-8)" >> $GITHUB_OUTPUT
|
|
|
|
id: commit_sha
|
|
|
|
- name: Set file basename with format "dataset_branch_commitSHA"
|
|
|
|
shell: bash
|
2023-10-09 14:56:41 +02:00
|
|
|
run: echo "basename=$(echo ${{ steps.command.outputs.command-arguments }}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})" >> $GITHUB_OUTPUT
|
2023-10-05 12:05:01 +02:00
|
|
|
id: file
|
|
|
|
|
|
|
|
# Run benchmarks
|
2023-10-09 14:56:41 +02:00
|
|
|
- name: Run benchmarks - Dataset ${{ steps.command.outputs.command-arguments }} - Branch ${{ steps.current_branch.outputs.name }} - Commit ${{ steps.commit_sha.outputs.short }}
|
2023-10-05 12:05:01 +02:00
|
|
|
run: |
|
|
|
|
cd benchmarks
|
2023-10-09 14:56:41 +02:00
|
|
|
cargo bench --bench ${{ steps.command.outputs.command-arguments }} -- --save-baseline ${{ steps.file.outputs.basename }}
|
2023-10-05 12:05:01 +02:00
|
|
|
|
|
|
|
# Generate critcmp files
|
|
|
|
- name: Install critcmp
|
|
|
|
uses: taiki-e/install-action@v2
|
|
|
|
with:
|
|
|
|
tool: critcmp
|
|
|
|
- name: Export cripcmp file
|
|
|
|
run: |
|
|
|
|
critcmp --export ${{ steps.file.outputs.basename }} > ${{ steps.file.outputs.basename }}.json
|
|
|
|
|
|
|
|
# Upload benchmarks
|
|
|
|
- name: Upload ${{ steps.file.outputs.basename }}.json to DO Spaces # DigitalOcean Spaces = S3
|
|
|
|
uses: BetaHuhn/do-spaces-action@v2
|
|
|
|
with:
|
|
|
|
access_key: ${{ secrets.DO_SPACES_ACCESS_KEY }}
|
|
|
|
secret_key: ${{ secrets.DO_SPACES_SECRET_KEY }}
|
|
|
|
space_name: ${{ secrets.DO_SPACES_SPACE_NAME }}
|
|
|
|
space_region: ${{ secrets.DO_SPACES_SPACE_REGION }}
|
|
|
|
source: ${{ steps.file.outputs.basename }}.json
|
|
|
|
out_dir: critcmp_results
|
|
|
|
|
|
|
|
# Compute the diff of the benchmarks and send a message on the GitHub PR
|
|
|
|
- name: Compute and send a message in the PR
|
2023-10-09 18:04:49 +02:00
|
|
|
env:
|
|
|
|
GITHUB_TOKEN: ${{ secrets.MEILI_BOT_GH_PAT }}
|
2023-10-05 12:05:01 +02:00
|
|
|
run: |
|
2023-10-12 11:54:56 +02:00
|
|
|
set -x
|
2023-10-12 15:04:37 +02:00
|
|
|
export base_ref=$(git merge-base origin/main ${{ steps.comment-branch.outputs.head_ref }} | head -c8)
|
2023-10-11 14:57:03 +02:00
|
|
|
export base_filename=$(echo ${{ steps.command.outputs.command-arguments }}_main_${base_ref}.json)
|
2023-11-15 13:56:54 +01:00
|
|
|
export bench_name=$(echo ${{ steps.command.outputs.command-arguments }})
|
|
|
|
echo "Here are your $bench_name benchmarks diff 👊" >> body.txt
|
2023-10-05 12:05:01 +02:00
|
|
|
echo '```' >> body.txt
|
2023-10-11 14:57:03 +02:00
|
|
|
./benchmarks/scripts/compare.sh $base_filename ${{ steps.file.outputs.basename }}.json >> body.txt
|
2023-10-05 12:05:01 +02:00
|
|
|
echo '```' >> body.txt
|
2023-10-11 13:05:54 +02:00
|
|
|
gh pr comment ${{ steps.current_branch.outputs.name }} --body-file body.txt
|