mirror of
https://github.com/meilisearch/MeiliSearch
synced 2024-11-23 05:14:27 +01:00
Merge #715
715: Fix benchmark CI r=irevoire a=curquiza Fixes #714 Tested with our actions: https://github.com/meilisearch/milli/actions/runs/3591527753/jobs/6046157141 Co-authored-by: curquiza <clementine@meilisearch.com>
This commit is contained in:
commit
51a2613c5c
8
.github/workflows/manual_benchmarks.yml
vendored
8
.github/workflows/manual_benchmarks.yml
vendored
@ -27,19 +27,19 @@ jobs:
|
|||||||
# Set variables
|
# Set variables
|
||||||
- name: Set current branch name
|
- name: Set current branch name
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=name" >> $GITHUB_OUTPUT;]$(echo ${GITHUB_REF#refs/heads/})"
|
run: echo "name=$(echo ${GITHUB_REF#refs/heads/})" >> $GITHUB_OUTPUT
|
||||||
id: current_branch
|
id: current_branch
|
||||||
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=name" >> $GITHUB_OUTPUT;]$(echo ${GITHUB_REF#refs/heads/} | tr '/' '_')"
|
run: echo "name=$(echo ${GITHUB_REF#refs/heads/} | tr '/' '_')" >> $GITHUB_OUTPUT
|
||||||
id: normalized_current_branch
|
id: normalized_current_branch
|
||||||
- name: Set shorter commit SHA
|
- name: Set shorter commit SHA
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=short" >> $GITHUB_OUTPUT;]$(echo $GITHUB_SHA | cut -c1-8)"
|
run: echo "short=$(echo $GITHUB_SHA | cut -c1-8)" >> $GITHUB_OUTPUT
|
||||||
id: commit_sha
|
id: commit_sha
|
||||||
- name: Set file basename with format "dataset_branch_commitSHA"
|
- name: Set file basename with format "dataset_branch_commitSHA"
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=basename" >> $GITHUB_OUTPUT;]$(echo ${BENCH_NAME}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})"
|
run: echo "basename=$(echo ${BENCH_NAME}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})" >> $GITHUB_OUTPUT
|
||||||
id: file
|
id: file
|
||||||
|
|
||||||
# Run benchmarks
|
# Run benchmarks
|
||||||
|
@ -25,19 +25,19 @@ jobs:
|
|||||||
# Set variables
|
# Set variables
|
||||||
- name: Set current branch name
|
- name: Set current branch name
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=name" >> $GITHUB_OUTPUT;]$(echo ${GITHUB_REF#refs/heads/})"
|
run: echo "name=$(echo ${GITHUB_REF#refs/heads/})" >> $GITHUB_OUTPUT
|
||||||
id: current_branch
|
id: current_branch
|
||||||
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=name" >> $GITHUB_OUTPUT;]$(echo ${GITHUB_REF#refs/heads/} | tr '/' '_')"
|
run: echo "name=$(echo ${GITHUB_REF#refs/heads/} | tr '/' '_')" >> $GITHUB_OUTPUT
|
||||||
id: normalized_current_branch
|
id: normalized_current_branch
|
||||||
- name: Set shorter commit SHA
|
- name: Set shorter commit SHA
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=short" >> $GITHUB_OUTPUT;]$(echo $GITHUB_SHA | cut -c1-8)"
|
run: echo "short=$(echo $GITHUB_SHA | cut -c1-8)" >> $GITHUB_OUTPUT
|
||||||
id: commit_sha
|
id: commit_sha
|
||||||
- name: Set file basename with format "dataset_branch_commitSHA"
|
- name: Set file basename with format "dataset_branch_commitSHA"
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=basename" >> $GITHUB_OUTPUT;]$(echo ${BENCH_NAME}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})"
|
run: echo "basename=$(echo ${BENCH_NAME}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})" >> $GITHUB_OUTPUT
|
||||||
id: file
|
id: file
|
||||||
|
|
||||||
# Run benchmarks
|
# Run benchmarks
|
||||||
|
@ -24,19 +24,19 @@ jobs:
|
|||||||
# Set variables
|
# Set variables
|
||||||
- name: Set current branch name
|
- name: Set current branch name
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=name" >> $GITHUB_OUTPUT;]$(echo ${GITHUB_REF#refs/heads/})"
|
run: echo "name=$(echo ${GITHUB_REF#refs/heads/})" >> $GITHUB_OUTPUT
|
||||||
id: current_branch
|
id: current_branch
|
||||||
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=name" >> $GITHUB_OUTPUT;]$(echo ${GITHUB_REF#refs/heads/} | tr '/' '_')"
|
run: echo "name=$(echo ${GITHUB_REF#refs/heads/} | tr '/' '_')" >> $GITHUB_OUTPUT
|
||||||
id: normalized_current_branch
|
id: normalized_current_branch
|
||||||
- name: Set shorter commit SHA
|
- name: Set shorter commit SHA
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=short" >> $GITHUB_OUTPUT;]$(echo $GITHUB_SHA | cut -c1-8)"
|
run: echo "short=$(echo $GITHUB_SHA | cut -c1-8)" >> $GITHUB_OUTPUT
|
||||||
id: commit_sha
|
id: commit_sha
|
||||||
- name: Set file basename with format "dataset_branch_commitSHA"
|
- name: Set file basename with format "dataset_branch_commitSHA"
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=basename" >> $GITHUB_OUTPUT;]$(echo ${BENCH_NAME}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})"
|
run: echo "basename=$(echo ${BENCH_NAME}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})" >> $GITHUB_OUTPUT
|
||||||
id: file
|
id: file
|
||||||
|
|
||||||
# Run benchmarks
|
# Run benchmarks
|
||||||
|
@ -24,19 +24,19 @@ jobs:
|
|||||||
# Set variables
|
# Set variables
|
||||||
- name: Set current branch name
|
- name: Set current branch name
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=name" >> $GITHUB_OUTPUT;]$(echo ${GITHUB_REF#refs/heads/})"
|
run: echo "name=$(echo ${GITHUB_REF#refs/heads/})" >> $GITHUB_OUTPUT
|
||||||
id: current_branch
|
id: current_branch
|
||||||
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=name" >> $GITHUB_OUTPUT;]$(echo ${GITHUB_REF#refs/heads/} | tr '/' '_')"
|
run: echo "name=$(echo ${GITHUB_REF#refs/heads/} | tr '/' '_')" >> $GITHUB_OUTPUT
|
||||||
id: normalized_current_branch
|
id: normalized_current_branch
|
||||||
- name: Set shorter commit SHA
|
- name: Set shorter commit SHA
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=short" >> $GITHUB_OUTPUT;]$(echo $GITHUB_SHA | cut -c1-8)"
|
run: echo "short=$(echo $GITHUB_SHA | cut -c1-8)" >> $GITHUB_OUTPUT
|
||||||
id: commit_sha
|
id: commit_sha
|
||||||
- name: Set file basename with format "dataset_branch_commitSHA"
|
- name: Set file basename with format "dataset_branch_commitSHA"
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=basename" >> $GITHUB_OUTPUT;]$(echo ${BENCH_NAME}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})"
|
run: echo "basename=$(echo ${BENCH_NAME}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})" >> $GITHUB_OUTPUT
|
||||||
id: file
|
id: file
|
||||||
|
|
||||||
# Run benchmarks
|
# Run benchmarks
|
||||||
|
@ -24,19 +24,19 @@ jobs:
|
|||||||
# Set variables
|
# Set variables
|
||||||
- name: Set current branch name
|
- name: Set current branch name
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=name" >> $GITHUB_OUTPUT;]$(echo ${GITHUB_REF#refs/heads/})"
|
run: echo "name=$(echo ${GITHUB_REF#refs/heads/})" >> $GITHUB_OUTPUT
|
||||||
id: current_branch
|
id: current_branch
|
||||||
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=name" >> $GITHUB_OUTPUT;]$(echo ${GITHUB_REF#refs/heads/} | tr '/' '_')"
|
run: echo "name=$(echo ${GITHUB_REF#refs/heads/} | tr '/' '_')" >> $GITHUB_OUTPUT
|
||||||
id: normalized_current_branch
|
id: normalized_current_branch
|
||||||
- name: Set shorter commit SHA
|
- name: Set shorter commit SHA
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=short" >> $GITHUB_OUTPUT;]$(echo $GITHUB_SHA | cut -c1-8)"
|
run: echo "short=$(echo $GITHUB_SHA | cut -c1-8)" >> $GITHUB_OUTPUT
|
||||||
id: commit_sha
|
id: commit_sha
|
||||||
- name: Set file basename with format "dataset_branch_commitSHA"
|
- name: Set file basename with format "dataset_branch_commitSHA"
|
||||||
shell: bash
|
shell: bash
|
||||||
run: echo "##[echo "name=basename" >> $GITHUB_OUTPUT;]$(echo ${BENCH_NAME}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})"
|
run: echo "basename=$(echo ${BENCH_NAME}_${{ steps.normalized_current_branch.outputs.name }}_${{ steps.commit_sha.outputs.short }})" >> $GITHUB_OUTPUT
|
||||||
id: file
|
id: file
|
||||||
|
|
||||||
# Run benchmarks
|
# Run benchmarks
|
||||||
|
Loading…
Reference in New Issue
Block a user