debug wip: update shell

This commit is contained in:
Allan Jeremy 2022-08-18 14:41:50 +03:00
parent d229ab2f09
commit b656e1be6f

View file

@ -3,39 +3,42 @@ description: Checkout a given repo and push results to GitHub
inputs:
repository:
required: true
# type: string
type: string
description: The benchmark results repository to check out
shell:
type: string
default: "bash"
branch:
required: true
# type: string
type: string
description: The benchmark results repository's branch to check out
token:
required: true
# type: string
type: string
description: The GitHub token to use for pushing results
path:
required: true
# type: string
type: string
description: The path to check out the results repository to
bench_name:
required: true
# type: string
type: string
bench_tool:
required: true
# type: string
type: string
bench_output_file_path:
required: true
# type: string
type: string
bench_external_data_json_path:
required: true
# type: string
type: string
runs:
using: "composite"
steps:
- name: Checkout repository
uses: actions/checkout@v3
# shell: bash
shell: ${{ inputs.shell }}
with:
repository: ${{ inputs.repository }}
ref: ${{ inputs.branch }}
@ -44,7 +47,7 @@ runs:
- name: Store results
uses: Roblox/rhysd-github-action-benchmark@v-luau
# shell: bash
shell: ${{ inputs.shell }}
with:
name: ${{ inputs.bench_name }}
tool: ${{ inputs.bench_tool }}
@ -52,7 +55,7 @@ runs:
external-data-json-path: ${{ inputs.bench_external_data_json_path }}
- name: Push benchmark results
# shell: bash
shell: ${{ inputs.shell }}
run: |
echo "Pushing benchmark results..."
cd gh-pages