Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Commit

Permalink
Update the steps to set variables
Browse files Browse the repository at this point in the history
  • Loading branch information
curquiza committed Dec 1, 2022
1 parent 5e754b3 commit 5bdf5c0
Show file tree
Hide file tree
Showing 5 changed files with 20 additions and 20 deletions.
8 changes: 4 additions & 4 deletions .github/workflows/manual_benchmarks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,19 +27,19 @@ jobs:
# Set variables
- name: Set current branch name
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
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
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
- name: Set shorter commit SHA
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
- name: Set file basename with format "dataset_branch_commitSHA"
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

# Run benchmarks
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/push_benchmarks_indexing.yml
Original file line number Diff line number Diff line change
Expand Up @@ -25,19 +25,19 @@ jobs:
# Set variables
- name: Set current branch name
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
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
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
- name: Set shorter commit SHA
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
- name: Set file basename with format "dataset_branch_commitSHA"
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

# Run benchmarks
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/push_benchmarks_search_geo.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,19 +24,19 @@ jobs:
# Set variables
- name: Set current branch name
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
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
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
- name: Set shorter commit SHA
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
- name: Set file basename with format "dataset_branch_commitSHA"
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

# Run benchmarks
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/push_benchmarks_search_songs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,19 +24,19 @@ jobs:
# Set variables
- name: Set current branch name
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
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
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
- name: Set shorter commit SHA
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
- name: Set file basename with format "dataset_branch_commitSHA"
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

# Run benchmarks
Expand Down
8 changes: 4 additions & 4 deletions .github/workflows/push_benchmarks_search_wiki.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,19 +24,19 @@ jobs:
# Set variables
- name: Set current branch name
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
- name: Set normalized current branch name # Replace `/` by `_` in branch name to avoid issues when pushing to S3
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
- name: Set shorter commit SHA
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
- name: Set file basename with format "dataset_branch_commitSHA"
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

# Run benchmarks
Expand Down

0 comments on commit 5bdf5c0

Please sign in to comment.