luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

debug wip

Browse source
This commit is contained in:
Allan Jeremy 2022-09-07 08:08:31 +03:00
parent 87692a63a6
commit 0238cc677e
1 changed files with 19 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

38
.github/workflows/push-results/action.yml vendored
View file

@ -44,23 +44,23 @@ runs:
token: ${{ inputs.token }}
path: "./gh-pages"
- name: Store results
uses: Roblox/rhysd-github-action-benchmark@v-luau
with:
name: ${{ inputs.bench_name }}
tool: ${{ inputs.bench_tool }}
gh-pages-branch: ${{ inputs.bench_gh_pages_branch }}
output-file-path: ${{ inputs.bench_output_file_path }}
external-data-json-path: ${{ inputs.bench_external_data_json_path }}
# - name: Store results
# uses: Roblox/rhysd-github-action-benchmark@v-luau
# with:
# name: ${{ inputs.bench_name }}
# tool: ${{ inputs.bench_tool }}
# gh-pages-branch: ${{ inputs.bench_gh_pages_branch }}
# output-file-path: ${{ inputs.bench_output_file_path }}
# external-data-json-path: ${{ inputs.bench_external_data_json_path }}
- name: Push benchmark results
shell: bash
run: |
echo "Pushing benchmark results..."
cd gh-pages
git config user.name github-actions
git config user.email github@users.noreply.github.com
git add *.json
git commit -m "Add benchmarks results for ${{ github.sha }}"
git push
cd ..
# - name: Push benchmark results
# shell: bash
# run: |
# echo "Pushing benchmark results..."
# cd gh-pages
# git config user.name github-actions
# git config user.email github@users.noreply.github.com
# git add *.json
# git commit -m "Add benchmarks results for ${{ github.sha }}"
# git push
# cd ..